I hope there is a MM repro rerun so more can enjoy this game at a far more sane price level. Pinball games are meant to be played, not kept as museum pieces. I understand the labor required to do high-end restorations, but pins need to be $4k-$5k (or less) new, not five figures approaching the price of a new car.
(I suspect I'm one of a very few that bought MM NIB when it first came out and have kept it HUO the entire time, so a remake would certainly hurt any "value" it has, but I never started collecting pinball machines as an investment. I started because I liked to play them and could never find them on location. If a repro comes out, I'll buy one and then sell mine to anyone that has to have an original.)