User blog:MyBlueSniper/Is there seriously a different, theatrical version of Robert Muldoon's death?

So he apparently shoots, with his handgun, at 'The Big One' and takes off running only to be chased down and killed. I've heard so many rumors about this. It's starting to bother me. I need to see it, would it be on a VHS version? But first of all, could someone who's seen Jurassic Park in theaters tell me if it's true.