They were definitely not Honda. The local dealers here don't carry anything unless you want a helmet that has 14 unnatural colors.
I used a bit of superglue (suggestion here and also I think the PO had done it too). The gasket was round, and the 087a float is anything but round. After te fact I was told about the grease trick - I'll try that if year ever get small enough again - or replacements if not.
Definitely don't want clogged jets, but it all seemed to be there when I opened it up. I usd a pin prick worth, so hopefully I don't hit major snag with that. When I cleaned them the first time, what the PO had dabbed on there was not in the jets, so I'll keep my fingers crossed this time for sure.
Live and learn.