I doubt I'll get that out of mine with a bad 5th gear... Maybe if I fix it.
I might just try and sell it as is. Not exactly sure what it is worth. I see high mileage used units go for $850-900. Given that the parts just to fix the 5th gear are less than $100, maybe $700-750???