Just under 10,000 milesDid you have this done at 12,000 miles? Are the differentials spec'd for servive at 12,000 miles? Should and must mean different things to me (said the guy that changed his oil at 800 miles after break in and will do it again at 2,500 miles).