Understood. Makes sense.
With that said, would you still recommend I get them to fix w/ plaster/grout or leave as is?
Isn't grout porous anyway so water would seep in the back of the tile to begin with?
Sorry, I know this is a minor issue! Just trying to decide if I should have them fix it or...