Good information to know. I just like covering my butt just in case something happens. BTW the local Hyundai dealer recommends replacing the water pump when I called them this morning. Login to read more.