At 80,000 feet, or any altitude above 37,000 feet, 2250 mph is Mach 3.4. As the story says, well above Mach 3.2.
I did not know that mach varied with altitude. Nice impromptu lesson there. Thanks.