I've seen a few of these coins pop up on ebay over the past couple months or so. I can't remember if they made 1 or 2 for each release which I believe were back to back consecutive years. Anyhow I think what you paid is a good market price for these coins.
I paid the price that they were originally sold for. I bought directly from the sales thread and rsvp very quickly so I got a low number