I usually see them for around $600 if it's in 95% or better. Maybe a bit more for stainless.
That being said, I haven't seen them sold for that, just priced there.
I think $500 might be right for a blued one. However, I haven't seen one for a while and haven't been tracking them much lately.
The Blue Book is way off on them in my opinion.