That is one pristine looking TP3 in my opinion. A bit on the dreamer side but he's got to start somewhere. Keeps the cheapskates at bay for sure.
If it checks out, it's gotta be worth 12k anyway.
Go buy one for $5k throw another $6 or 7k at a paint job, basic repairs etc. And there you go...