I'd say it was a little high. I recently sold a 20 that was a 95% original gun for 850.00 I bought it as a bargain for 500.00

Best, Dick