At what mileage should I change the timing belt on my 2000 Civic LX?

I've lost my owner's manual!!! Pleas help!At what mileage should I change the timing belt on my 2000 Civic LX?According to the Gates timing belt replacement guide (link below), 105,000 miles and you have an interference engine with a timing belt driven water pump that should be changed at the same time along with the belt tensioner pulley. Total cost about $700At what mileage should I change the timing belt on my 2000 Civic LX?i think the manual says 100 to 150 k