I'm pretty sure that's about how much I paid for my copies back in the day. I haven't priced them in a while, but I'd guess that was a good deal. The retro gaming market is utterly insane at this point.