Thanks Watermom. I'm curious now -- what kind of pool finishes do most people have? I thought Diamond Brite was kinda the standard way of finishing pools (and PebbleTec the upgraded choice). At least, those were the two of three options offered to me by my builder.

And keeping on topic, I've found a few more places where a pit has developed in the Diamond Brite finish. They're easy to spot now because it's a fleck of white instead the small pieces of colored stone that make up the pool finish. When I dive down to investigate, I can see a little pit now -- the original flecks of Diamond Brite crumbled away. No one else is noticing these things -- but they weren't the ones who paid for this new pool. ;-)