I assume that one brushes an IG vinyl pool the same or in a similiar way as an IG gunite pool, true? If so, are there different/special brushes for vinyl that maybe softer than a brush you would use in a gunite pool?