And that booklet says inspect the tires, rotate as needed. 5000 miles is kind of overkill for tire rotation: the object is to even out wear, every 10000 miles will do that just fine. The most practical time to rotate tires is when they're coming off anyways, for brake inspection or snow tire swap.