Mike is a great guy, and a huge contributor to the pinball community. I have met him several times and he is just a awesome dude.
He does a great deal in Ohio and online for pinball in general
I have lost stuff before that I sold only to find it later, it happens. I feel this thread was pointless and premature.
always reach out to someone privately and try to work it out before
my 2 cents