I need to paint a marbelite pool. Did anyone do this before? My understanding is that special paint is required however various pool renovators indicated that it cannot be done, needs to remarbelite which is a costly excercise. Any recommendations will be appreciated.