I came across a used 95 model 921D Grasshopper 785 hours w/ grass catcher. I know the people who own this machine and it should have been taken care of and in a shed most of its life. I priced a new one yesterday $9500 w/o the catcher. What is this machine worth? Thanks, Mike!