I said I just bought the coin, that's the one, I bought it on eBay, but it looks like he raised the price a little for his remaining coins.
Thank you. I have both a double die 1955 and 1972 so I thought I'd add the 1995 to my collection. The price was right.
The 55 DDO is the expensive one. I found it in the 60's when I was a paperboy. It was the only coin find I ever found from circulation, but it was a good one. The "72 are on eBay for around $300 or so for a decent grade.