well try dealership, give em ur vin and if they are nice they will give u all records. if not, change it. yeah those 800$ include labor, oroginal timing belt is around 50$ water pump you can find for 150$ timing belt pulleys are 60 and 95$ and tenssioner for timing belt is another 30-40$