Fellow Audians: In his recent "Warp Rotor Maddness" post, Paul Royal indicated that he "re-torqued all the lug nuts on the car to 85lbs." Just last week, my mechanic told me the appropriate lug nut torque spec was 80ft.lbs. So, what is the appropriate torque spec for the lug nuts on an '91 Audi 200 TQ. TIA for your help. GregJ