Thanks for looking into it. I was doubtful of the claims (especially since some of them claimed it was 3 minutes longer, which is enormous). But I started to have my doubts while watching the blu-ray yesterday, since those credits really do seem to go on forever (also, the font is tiny if you don’t have a huge screen).
Do you know if the score matches the one on the official soundtrack?