Anyone around here used an ocean runner pump, specifically the 2500? I'm contemplating replacing the Eheim 1250 on my daughters tank with either an Eheim 1260 or an Ocean Runner 2500. I've seen some positive posts about the Ocean Runners but they seem to be from a limited user base.