It's got almost 4000 hours and he's asking 8k for it. Fixing a transmision is not in my skillset. So several thousand dollars to a dealer to fix and we're at 15k, which is about what one in good shape is worth...
Thanks for the quick replies, much appreciated!