Nothing off hand. I’ve been in industry for a while and am speaking from a gathered knowledge perspective. However, using google (or Google scholar), you should probably be able to find the information you’re looking for with keywords like “sand slurry mining pumps” or similar. The technology is used in a lot of contexts, including some less savory targets (oil sands), but also to pump material into voids (mixed with small amounts of concrete) to stabilize the voids. The pump technology required to pump such a slurry is kind of gonzo, in my opinion. Think about how abrasive sand is! Compared to the pumps, the drilling is a trivial task.