I wouldn’t be surprise if he does have > $20K into it. That still doesn’t mean it’s worth > $20K. A properly done turbo setup is probably $8-10K US. Sure you can cobble one together with Ebay parts for less but a good one rivals an engine swap in cost. I think it’s a very nice car with a relatively high price at least…