On further inspection , the hour meter only read 1100 or so, and rear discharge chute on the J45 deck seemed to be in good shape. Some lucky guy just bought it and was getting some good gas for his other ones too.
Apparently the seller could not really make the deck work, and it had a squeaking sound when the belt barely turned. The guy who bought it didn't seem to mind at all, it was a good negotiating tool he said. Good for him!