Another vote for the 80K here, but that's probably only because it's tuned. I have a TX200HC too but that's standard, still an absolute pearler of a gun though, straight out of the box it's nearly as good as my tuned 80K.
My 80K is about 10 years old, it was tuned by Robert Lane and has a full barrel Rob Lane silencer/shroud on it which looks the dogs and works even better. Also has a full Venom trigger unit on it. It must have had hundreds spent on it but it shoots like nothing else I've ever owned.
With that said, if you don't want to spend more money on getting the 80K tuned then pe