mike's been a pain in the ass for years. good riddance.