Tom -You'll have to keep an eye on potential intermittencies for the future. Cameras are usually full of connectors, ribbon cables switches etc and sadly few are gold plated. These contacts may suffer corrosion and poor contact. Some current tracks are very high resistance. Over time, any contamination due to conductive salts combined with dc voltage sets up a battery effect and things may eventually stop working.
When dismantled, a good rinse of the non lens parts in alcohol/de-ionised water, followed by a thorough air dry should have cleaned out any contaminants which might have been in the lake water.
Keep your fingers crossed! (PS If there is another opportunity, some macro pics of the innards with another camera could be of interest to other owners)