Shortly after we finished pool construction last year, I noticed two small round dark blue patches on the floor of the deep end. They are smooth to the touch and sit on top of the plaster. We had a pool maintainer at the time. When I asked him about them, he said they were minor workmanship...