Variable-speed for the pump
The 120V pump currently uses about 30W, and it pumps water at a faster rate than necessary: the thin plastic tube mostly acts as a break. So we are wasting energy.
Move to a 12V pump, and make the pump speed-controlled by a PWM of some kind.
Depends on #7.