Congrats on doing your homework and coming on here to consult the community. You just saved yourself thousands of dollars and who knows how many headaches!
The previous comments were right, too: You can find a really nice player for around $6k all day long. It's just all about the timing. I waited a few years before I finally got my hands on a great TAF. Patience can save you money and work(as in fixing a poor condition game).