Yep, I read about ol' Mike many years ago. Quite a story!