Will that work in a vinyl pool? I have read they are only for gunite. I am willing to spend more if it will last and work well.