I have a friend that just bought a 2001 Laser Red Cobra Convertible. He called me today and said he took the car down the interstate yesterday and was turning 3k rpm in 5th gear at 70mph. He told me that the previous owner who traded it in said it was a 373 gear, would it turn that high with just a 373? I thought it sounded more like a 410 or 430 gear, thoughts?