I've had to do this myself. Cut the 900's down and try roughing the edge up with a grinder and then soften with a rubbing stone or polishing pad, this might be quicker than chiseling the edge, if not just chisel instead. Remember you only have to worry about the very top edge, when it's grouted...