Just following up on my car. It was the thermostat. I'm having them do the timing belt while they are in there. Anybody know what's the book time to change out the timing belt? I had heard it was 3-4 hours. -- Steven