Do members know of an alternative to the diamond spray solution
used with the ceramic lap on the GRS Power Hone tool.
I’ve never used or seen the spray you’re describing, but you might
try places that sell supplies to folks who facet stones. They use
diamond grits in many size for cutting & polishing stones, many
times on ceramic laps. In the US, there are several faceting
suppliers with websites.