I saw a listing for a website to purchase pool accessories on one of the threads here, I went there and the prices were great. In particular I was looking for a small pool vacuum that I could use on small spots in between running the dolphin. I cant for the life of me remember the site name. Anyone have any ideas> Thanks