Sorry, nothing much to see at the moment.
The #46 grit is only lasting about a minute on the tile tool, I'm forever recharging. I was looking for a diamond cutter to speed up the work and came across a diamond tool for shaping concrete that fits on my angle grinder. I gave it a 5 minute test and it looks like it may be the trick. The glass comes off in a dust so that may be a hazard, unless I take it outside and play water on it as I grind.
That depth gauge I made using a .001" dial gauge was useless, I couldn't get repeatable readings off it. I've now got a metric micrometer that I chopped up and using a lot better. The inflated figures on the old gauge were better to look at than this one.