I'm thinking my trade value was in the $10,500 ball park. Time will tell if that was wise from a financial standpoint. Currently I wish I had simply kept my MM as I loved playing it and it was a long-term keeper for me in my mind when I purchased it (I had just shy of $13k into it).
I'm on the list for MMRLE and I will probably get it just because we did really like playing the pin. In the meantime, I'll simply continue to enjoy what I have.