Grout remains in tile after installing
I'm not sure I'm in the right place, but hopefully someone can help.
We recently had a contractor install new 6x6 tiles in our bathroom that we recently remodeled. The tile is one of the "earth tone" colored porcelain tiles we purchased from Home Depot.
We noticed that after the grout has dried, some grout still remains on the tile, because the tiles has little indentations, or "divits" that apparently were too difficult for him to clean with his sponge.
Is this normal for this type of tile (with the natural indentations), or was he just lazy? Can it somehow be removed from the surface of the tile now that it has dried or is it there forever?
I'm actually more concerned with knowing whether this guy was lazy and just didn't clean the tiles well enough, or whether it's just the nature of the practice of grouting tile with little divits in them.
Any help greatly appreciated.