I'm sure this is covered in the service manual but I do not have one. How often should one change out the engine thermostat?