Can't answer your question, but noticed that you said your pool's deep end is 15' deep? Was that a typo? I never saw a residential pool at 15' deep before. How do you even get the brush down there to clean?