I think I'm just going to strip, prime, and paint it at $3500. National Pools will strip and plaster it for ~$10K. The AquaBrite finish look s great but I'm out side of any installer's service area and the regardless, it'd be close to $17,500. The more I think about vinyl, the more I dislike it...