The part number for the solenoid is 2642884 and there are a couple now on eBay and a boot:

https://www.ebay.com/itm/185352946322?hash=item2b27e58292:g:ct8AAOSwl1diOkes

https://www.ebay.com/itm/114213963592?hash=item1a97aec748:g:JCIAAOSwpPlerFPX

I might have a solenoid, I will take a look.

Jim