That's weird, yeah... as far as I know, they're identical except for the region encoding.
But you're right,
Amazon UK says 521 mins while
Amazon US says 725 mins.
Both list the same extras, so the times must be screwed up. Interestingly, since I never really paid attention to the running times, the individual movies themselvs run 480 mins (172+200+108), so it's not a matter of one including the extras and the other not.
Weird. I'll try to get clarification...
JG