i have a rio 1200 (i believe) running my reef devil skimmer, my gfci tripped (false trip) and so it had to start back up again. it usually struggles a little bit to get the water head up and over the tall part of the inlet, but once it clears the top it's good. this time, it just couldn't get it over for some reason and after trying for awhile it stopped. now plugging it in does nothing. is the pump dead? any way to repair it?