I'm trying to find a pump I can use to pump from a reservoir inside my tent to one outside. Temps inside are way to high so I want to drain to one res and when the level gets to a point, pump to one outside. Basically a sump pump but would rather have something smaller than what I'm finding. I thought I saw a aquarium related pump a while back but I can't seem to find it now. Any suggestions?