I can recommend that you *not* get the Vario 3 pump. It can't run the volume for top offs without getting too hot. In addition, if you damage or need to replace the pump tubes it is ~$50 for a new set of tubes. That is right 1/6th the cost of the pump.
I was so unhappy with mine, I returned...