We are in the market for a vacuum head attachment to hook up to our filter/pump for occasional manual cleaning, and possibly as new automatic suction cleaner (the one we have may be on its last leg). We just put in PebbleSheen, so we have a few weeks before we'd start using the automatic cleaner. Any recommendations? Any types we should stay away from because we have PebbleSheen? Thanks!