Hi! I am a pool novice. I have a frameset aboveground pool with a cheesy pump - 1/16 HP, 120V. It's plugged into a heavy duty garage outlet, but it's not clear if it's a GFCI. What kind of pump timer can I use that is safe and inexpensive, possibly GFCI? Thanks!