Alternatively if you cannot get the tile guys to give you a remedy, the best method to shave off the edge of the tile would be to use a 4" angle grinder with a diamond disc. That would cut the edge of the tile easily. However you would have to lower the water height and it makes a volumnous dust...