After going all the way up to a Beeman R1, I have settled into using an HW50S and an R7 almost exclusively. I think for target shooting in the back yard, you can't beat the R7. It is light and portable, and the recoil is so negligible that you can really shoot some tight groups with it. A real pleasure to shoot. It will waylay pigeons and such with headshots. I have found it to be more of a squirrel wounder than a squirrel killer. It will kill squirrels, to be sure, but you pretty much have to be a wizard to do it consistently. The good part is that it is so accurate that it actually gives you the chance to shoot like a wizard.
The HW50s is also a very accurate gun, although it is more noisy. I have knocked down a number of squirrels with it, although they sometimes require a finisher.
The R1 will send pellets all the way through squirrels, but it is much more challenging to shoot accurately and makes a lot more noise. Even using a Hawke airgun-rated scope, my R1 has a wandering POI. It loosens the all of the screws in the rifle as you shoot it, and when you loctite all of the screws down, it breaks the loctite. and it's heavy.
So anyway, that's the story of why I like the light springers instead of the magnums. YMMV. Some folks think an R7 is boring.
I don't have personal experience with the TX200, but my understanding is that it's a good one. The power level is somewhat between my Hw50s and the R1. Probably better suited to a .177 than a .22, as mentioned above. It is a heavy gun, though, so that helps some with the recoil management. Also makes it more of a bear to carry anywhere.