02 civic timing belt

I obtained a couple of quotes from local mechanics. The prices were around the $600 range. The mechanic that I selected charged $630. He discovered a damaged valve cover when he went it. The total cost for the valve cover replacement and timing belt package installation was $665. I have put 100 mile on the car since the install and have encountered no problems. I plan on keeping the car for another seven years so I consider it a good investment. I appreciate the input the Car Talk subject matter experts.