That’s only 3 minutes longer than the original. And that’s probably all in the credits since those are much longer these days.
Ha—you’re right. I loved that film: it didn’t seem long to me at all.