Pool pump timer

means a pool pump control that automatically turns off a dedicated-purpose pool pump after a run-time of no longer than 10 hours.