I have read a few postings from what I am assuming are standard 5 speed owners stating 3700 - 4000 rpms at 80mph. My 98.5 tiptronic shows 3000 - 3100rpms at 80mph. %Thought they were all geared the same? Anyone know for sure?