Yep...
I know the current thread where this sad thing happened and a GFCI tripped, BUT
A month ago my tank overflowed in the middle of the night (Snail I suspect in the overflow) and the water ran right down the sides of the tank and into the outlets, thus triping the GFCI.
Saltwater and Electricity not only don't mix but start FIRES.
I'm VERY grateful it tripped and did not arc and throw sparks causing a fire.
I will take the chance on a total tank loss for a false trip on a GFCI;
over a burnt down house because of NO trip, ANYDAY.
About 10 years ago my parents were home when their fresh water tank sprung a leak and the power strip behind the tank started arcing and caught the carpet ON FIRE.
Now my mom has a thing for firemen (She married two of them, my father, and my step dad) so we actually had a fire extinguisher in the house to put it out.
But that could have been a total loss of the house simply because of no GFCI.
They may save your life in more ways then electrocution.
You should always test them to make sure they work too.
The newer ones even come with a handy little light to let you know they are working properly now..