I recently bought a house that came with an inground, vinyl lined pool. I've been told that some pool vacs can actually damage vinyl liners. Any thoughts on the ones to use and ones to avoid if you have a pool with a vinyl liner?