Does anyone know what the mint Dorko went for. I was following it for fun and it was around the 240.00 us mark. Looked magnificent but bidding must have closed and I cant see it anywhere. Just curious
brian