Has anyone ever had to service the mixing valve on Atwood hot water heater. Wondering what is involved.