They started by making grease for cores inside coils so you could line up RF circuits and not end up with a jam up or one that was welded in for life. Very messy but fun. Brian
FWIW, silicon grease is ideally needed for O-rings - I've found ordinary grease makes them swell up. Probably in this situation it wouldn't matter (unless you ever dismantle) but I discovered all this from lubricating an O-ring which sealed against a rotating face (the water control valve in one of those remote pumped, push button Aqualisa showers), the swelling then preventing easy movement.
These days a lot of O-rings seem to be made from Nitrile Rubber, which doesn't swell in contact with mineral oil (or "ordinary" greases).
However I agree with you that silicone grease is generally the safe bet (except for silicone O rings).
formatting link
I assume that this is a static seal, in which case the silicone grease sold for fitting plastic gutters and plumbing will be fine. Or any silicone grease from a reputable supplier, like Bob's Dow Corning MS4. No point paying for a potable water product.
HomeOwnersHub website is not affiliated with any of the manufacturers or service providers discussed here.
All logos and trade names are the property of their respective owners.