Just got to thinking about some old ECM albums by drummer/pianist Jack DeJohnette. On a few of them, he had an excellent bassist in Mike Richmond playing. After that, I know Mike was involved in the Mingus Dynasty for a bit. I've been wondering whateve became of him since then. Anyone know?