Someone asked me… here’s my response
Really quite simple…
To remove playa dust from our electronic gear (http://orbswarm.com), we used an air compressor at 90psi with a blower attachment to get the most of it off. Then a dust-pan broom… and for a little touch-up, a toothbrush. That got just about everything off.
For the shells that have some bearings, we washed it with a pressure washer… our local self-serve car wash :-). Then we re-greased the bearings and were done with it.
For the last tiny bits that wouldn’t come out perfectly, we said “Bah. Life is too short!” and moved on.