Hi everyone. Just registered today for the forum since my inground Grecian vinyl liner pool is almost finished. I was asking the electrician about timers for the pump, and he said to ask my pool builder. But then the pool builder said to ask the electrician. So what can anyone tell me about a timer? The pool is built but the electrician has not been out to do the hookups and switches yet. What do I want to ask for? And how should it be installed? Thanks!