How in the world did the manage to do THAT????? GURRRRRRRR and sigh.....................really guys? really???
Okay so here are my thoughts IF they have a guy who is top shelf with tile work and VERY Skilled using something small, tiny, very little to cut out that just the right size then no one will even know it was added later BUT (and this is a BIG BUT) if the person does not use their time and skill it could be a big mess. I would as them how they intend to cut out the spot. Ask them for details. Is there ANY way you can be there when they do it? and I DO mean looking over their shoulder to stop them if they start getting wild with their cutting!
