[villagetinker]

Yes, I have seen it, and I have several dime sized on the driveway and lanai. As I recall from previous threads there was a warranty repair in some cases, sorry I do not recall the details. You will need to call home warranty. My concern was the repair was removal and replacement, in our case I do not want the upheaval of doing this in either location, so I am just going to let it go. At some point if I find a suitable 'patch' material I may attempt my own repair. Please let us know what the response is, thank you.