I paid $350 last year for a 98% 5.5" SS in stainless. I know a new one will run over $400 in my local shops. You might try to contact the guy who had it on auction and see if he'll deal off line.
FWIW, The 5.5" is nice but my favorite is the 6.5". Just seems to 'feel" better in the hand.