my water pump gasket will need to be replaced

I took my car to the mechanic this afternoon and he mentioned that my water pump gasket will need to be replaced. It's been making noise on occassion and he pointed out to me that it was shaky. I have a car warranty that cover certain repairs. Under the category listed "water pump", the warranty mentions that it will cover (in relation to the water pump): impeller shaft, bearings, bushings & housing, and all pulleys. Does the water pump gasket have anything to do with these parts or would the warranty have simply mentioned "gasket" if it was? Thank you!