Just leave it and put on new petcock. Easy peasy
Pull it, mine was gross at 97k. New OEM.
Yeah, pretty easy and cheap, I always get a new one when
I refurbish my petcock. Petcocks can go bad in such a
way that a cover set won't fix them, but I've taken mine
apart three or four times over the years. The first time
(I wouldn't do this now) I took it all apart, examined the
diaphragm, and put it back together without a new
cover set.
-Mike