Good evening everybody! Looking to get a gut check on advice. I have room in my house for 3 pinballs. I have a Met Pro and MMr Standard Edition (2017 run). I'm getting a GZ Premium delivered next week and need to make room -- I'm giving strong consideration to selling the MMr because (a) it's probably an 8.5-9.0/10 versus the Met Pro being a 7.0-7.5/10 in terms of condition (both play flawless, this is all cosmetic) and right now the MMr is probably at an all time high for value. I also find Met to be a more challenging and dynamic machine in terms of gameplay, though MMr has a lot of pluses regarding humor and the castle is a strong asset to the game. Bottom line -- am I crazy for leaning to sell MMr instead of Metallica? Any thoughts would be greatly appreciated.