Well, I have 2 questions for you first. How is the overall look of the gun (blueing and scratches on the stock, etc.)? Next, how many times has it been shot?
They typically run $800-850 for a brand new one, so if if the round count is low and it's not all beat up I'd grab it.
Good luck with your decision.
Joel