Prices ran up for years, then fell overnight to back under $10k which in retrospect looks like a better valuation than the $12-15k prices being fetched, with or without MMr. If MM wasn't a bubble, I'm not sure what is.
Owners of nice/restored MMs might disagree about the hit being "slight." This guy had way over 100 thumbs down at the time:
Great to see you're enjoying Pinside! Did you know Pinside is able to run thanks to donations from our visitors? Please donate to Pinside, support the site and get anext to your username to show for it! Donate to Pinside