I am not near the ocean but the bike is outside all the time, under cover but still outside, in very wet and humid conditions.
OK, I will give it a good clean and scrub tomorrow and keep an eye on it.
Meanwhile, the big question, how hard is an engine rebuild? Cylinder #4 burns vast amounts of oil and clearly needs new rings, meaning the whole the whole engine probably does.
Should I even think about doing it myself?