Anyone experienced problems with a Bermuda pond vacuum cutting out after 5-10 minutes? Mine comes back on after a few minutes then cuts out again after a few seconds. OK after it has dried completely, for 5-10 mins vacuuming anyway. Presume it is water ingress into some electrical sensor but...