Sound advice, infact it is also worth making sure all your cables and tubes have drip loops in them sothat if water does run down the cable it drips off the loop instead of running straight to the socket. It is worth covering anything related to water with an RCD breaker or plug.
We have the whole house covered by an RCD, OK you can still get a jolt that is uncomfortable but unlikely to be fatal (no I haven't tested it with my life by the way), the only downside is that it tripped even when a lightbulb blew, fortunately 98% of our bulbs are now low energy ones that don't.
The other downside is that if the power goes off RCD must be manually reset, not good when it is driving filters etc, I put the tank on an old computer UPS if we are away for too long i.e. holidays and a neighbour who is a Discus keeper checks twice daily.