R. Michael "Mike" Ehrhart

June 28, 1946  -  October 4, 2021