patch diamond brite pool spots?

I emptied my pool while a large tree was shedding. Cleaning it out I've found a few 12" dia.slightly raised circles that have a hollow sound. How difficult will it be for me to chop out the spots and replaster them ?and, will it show much if I use the same brand and color? or, should I just ignore them since they are in the deep end of the pool? The original finish was applied about 3 years ago. Thanks.

Add pictures here
<% if( /^image/.test(type) ){ %>
<% } %>
Add image file
Upload is a website for homeowners and building and maintenance pros. It is not affiliated with any of the manufacturers or service providers discussed here. All logos and trade names are the property of their respective owners.