I picked up a JBJ A.T.O. yesterday. I was wondering if anyone has a recommendation on what pump I should use to run this. The pump needs to be able to lift the water roughly 3.5 feet. I don't want to spend a fortune, but I also don't want to buy a piece of junk. Also, I have to be able to pick this up locally as I am leaving town for xmas, and need to have this running when I leave. Thanks for the help