The headphone socket water issue is actually mentioned in the manual (see p. 58 - “Headphone Socket Submersion”) but primarily in the context of water getting into the jack with no plug installed. Anyway, flush and dry it out makes sure no salt corrosion builds up on the jack metallic contacts. Internal seals behind the jack prevent water intrusion into the actual electronics.