I found a HOWTO written by Randy where he recommends changing the timing belt, timing belt tensioner, water pump, serpentine belt, and radiator hoses all at the same time. Is all of this necessary at 90-100k miles, or is it overkill? The manual says the timing belt should be changed at 100k under normal use, but it doesn't mention any of these other items.