I saw the post too and asked the fine gentleman on the "Midwest Pinball and Arcade Collectors" group on Facebook. (Shameless plug) I guess this rumor has been going on for a few years now.
I think we will really see who is in this hobby for the money IF they announce this. How many MMs would you see in the marketplace right after the announcement for sale at $10k?