Any Diamond Brite owners out there with 10+ year old pools?