i am looking for a good quality brush for my vinyl pool. i see there are alot of different ones to choose from but i just dont know which one to buy. i dont want to hurt my liner from brushing with a very stiff brush. i dont have to worry about brushing off any algae (as of now). any suggestions would be greatly appreciated.