He paid, all is good in the world, other than paypal fees. After paypal and ebay fees I net about $650 which is totally worth it.
I have a Mario RPG in similar condition. I'm not sure if I'm willing to part with my Secret of Mana and Chrono Trigger either... I really like my Everydrive SNES and probably will do the Mode 7 chip mods today.
Mario RPG is cool, and I would expect it to hit $150 in that shape. It's usually a Sub $100 game.
Secret of Mana probably around the same, although it's usually a few dollars more than Mario RPG.
Chrono Trigger, on the other hand, hits $150 (Seems to be more now. $175-200) in fair condition as long as it has both posters and the manual. Registration card is a bonus.
I could see it hitting $200-250 (adjust to $300).
Fortunately, for me, I already have Chrono Trigger and Super Mario RPG CIB. Not mint, by any means, but I don't like mint prices (when buying...). Secret of Mana, on the other hand, I still need.
I just double checked my prices before posting this, as I was going off the top of my head. I got my Chrono Trigger a few months back in a lot for $150, and I think it was around that by itself (on a good day) so prices have increased substantially since I picked mine up. I knew they were going up, but that's an insane boost.