HRX 217 GCV 200 Head cover replacement

[hondamower2021]

I own a 2021 HRX217 K6VKAA. The head cover is of course leaking and I've seen the recommendation of replacing it with a new cast piece and a gasket. Can someone tell me the part numbers that I'm looking for?
Thanks in advance.

 

[Scrubcadet10]

Doesn't appear a gasket was used, valve cover is

Honda 12311-Z9L-000​

Do you have the SERIAL number of the mower? since there are different ranges that possibly may or may not have used a gasket, or RTV

 

[hondamower2021]

Doesn't appear a gasket was used, valve cover is

Honda 12311-Z9L-000​

Do you have the SERIAL number of the mower? since there are different ranges that possibly may or may not have used a gasket, or RTV

Thanks for your response. Using the serial number I was able to find that part number. I've seen mention of using a cast aluminum cover and gasket from a different engine model that will hold up better. I'm wondering if that's an option for me.