Another question...how do you know when replastering is needed? Our pool is 12 years old but looks good. Will there be cracks or something to indicate that a refinish is required?