Pre 1955 pre-decimal proofs have been selling for half to a third of catalogue value so those catalogue values are not a true reflection of what the market is paying right now. (You only have to check public auction prices realised). It's a lovely, quality coin in hand.