I would think that's a pretty good deal in today's market. Nice vintage .22 pumps of all makes seem to have hit the $5-700 threshold. I gave that much last year for a Remington 12C.

"You can lead a man to logic, but you cannot make him think." Joe Harz
"Always certain, often right." Keith McCafferty