I'm sorry to report that Mike Gleason (1951-2012) passed away on 30 August.