The realtor selling the house we just bought tried to fill its indoor pool so it could be inspected, and now we don't know how to drain it, or for that matter how to operate it (no one in the immediate family has ever had a pool before). Anyone have any recommendations for local pool professionals?