I'd guess you'll maybe get around £3k for it without the fault, so... £1,500?
Might be worth looking into fixing it. Mechanic who says "you're better off selling it" just doesn't want to do the work. Shop around, you might get a better price. If you list the fault codes then others on here...