I have a vacuum in my pool; I think it is a Pentair, an old one at that. It does a good enough job keeping the pool floor clean in spite of the three big oak trees that tower over my pool constantly dropping leaves, small twigs and sometimes and acorn or two. However, it does not run over into the spa, I didn't expect it too either. So my question for you guys is what I should use to vacuum the spa. I did a quick look on available products and saw some that can attach to the strainer as well as some battery operated ones. I would like to get something that will mostly be used in the spa but can also be used in the pool when "Herb" leaves some leaves here and there or do a quick vacuum job to pick up debris that has fallen after the vacuum has shutoff.