Yes, I replaced mine when I replaced water pump gaskets. The manual say,s you need to, to pull the water pump body ( but not for just the pump ).
I had alot of other stuff off the front of the engine, but just pulling the air box may do it.
Also if I did it again I would just go to Home Depot or similar place and match the size. One of the washers is actually adouble one (shaped like an 8) The dealer told me they don't make it any more, an said they now just use the same reg. shaped washers.
Also the manual just refers to them as "gasket"