I agree with Robin and Bruce, on a good day you may get that top dollar on a good day or on a bad day, like this year you will not... I would consign the gun with one of the top dealers and go that route, same money (sometimes less ) and you control your price and some of the auction houses you have to be very very carefull of
