everyone needs to own a stock ts9 for a couple years... the 808 is so negligibly different, just go ts9, plus if you stick with the solid state amp awhile the TS9 circuit was better optimized to sound good with solid state amps because they were so popular when the 9 series came out. Where a tubescreamer really shines though is slamming a fender guitar into a blackface fender amp.... if you want a british flavored tube amp I think the boss sd1 or its cousin the mxr badass OD are a little better voiced to work with fender pickupsinto marshall and vox. I am not a huge fan of the TS family of designs with humbuckers usually. There are a lot of guys who like to use them in front of Marshalls to tighten things up heavy riffage, but I am not a huge fan of this approach and when I've done it I still prefer the SD1 or even a lowly proco Rat set really low. The 80s shred guys favored the sd1 and rat and I don't blame them, those pedals do well with marshalls and the rat handles hot humbuckers like a champ which is amazing from such a simple design. But hey, basic can be best.
The Klon and OCD style pedals sound better to me with gibsons and super strats than the soft clipping ts9 style stuff and have more dynamic response than a rat or other brickwall clipper like a distortion+.... although my preference is to just let the amp speak for itself as much as possible. The ebst purchase I've mad ein a while has been the discontinued TC electronics Nova Drive. Blending the TS9 and Rat based drive and distortion in parallel with a little clean blend and some wild EQ and drive settings can create a more complex and lively sound to push an amp than any of the boutique stuff. There's some room for improvement still and I may try modding mine a little to make both OD and distortion more dynamic at higher gain settings, but the parallel routing and ability to save a hundred MIDI controllable presets is well worth the price of admission.... plus you basically get a voodoo lab sparkle drive, modded ts9 and a hot rodded Rat in one box. I totally recommend a nova drive as an alternative to a TS9 and a Rat....
there's nothing more punk than a tiny terror in that wattage/price range.... its all in how you work it, I mean, we are talking about minimal controls andoptions and that's as punk as it comes, and these are amps that don't require a lot of coaxing to distort
for my buck though I would look a rung or 2 up at an ac15HW1 if I eneded a combo or at a ceriatone 18 watt, 20 watt, spitfire or (my favorite modern 2 el84 design) the crème brulee (which is basically a matchless nighthawk with 3 bright switch flavors built on a turret board instead of point to point with floating parts)... the marshall 2xel84 amps are a little nastier sounding with an edgier distortion (think 50 watt JMP meets vox) while the vox and matchless style amps (including the tiny terror) have a more gradual and subtle breakup and a smoother, brian may distortion character. Both the marshall/Watkins circuit and the vox based circuits can do everything from british invasion to blues (the marshalls are very british sounding in a Cream sense while a vox can be shockingly American sounding if you know your shit) to classic arena rock and in the case or the marshalls some pretty gnarly marshally punk sounds without any pedals (but you will be playing at stage volume to get copious amounts of the good saturation).
If Austin has a store that carries high end marshall and vox and maybe some boutique amps with ef86 preamps like matchless, bad cat, dr z etc then you should go try them all. Do the reissues (an 18 watt combo and a 20 watt head) then try the new ac15ch, a tiny terror, an ac15hw1 and finally hit up the boutique stuff like maybe a badcat cub head or blackcat 15r and then a dr Z like the m12, maz18, Carmen Ghia....
then just for sake of argument try a fender pro junior, tweed deluxe RI, Eric Clapton tweed tremolux, supro dual tone RI, black magic and maybe a Princeton reverb RI to get a feel for the American 15 to 20 watt circuits at various price points.
I would stay away from vintage if I had a limited budget and no electronics skills... they don't make 'em like they used to on the whole, but the old stuff ain't that much better that you want to risk having your new old amp in the shop for a few months the 1st year getting old solder re-run and filter caps replaced. There are good enough versions of almost everything worth owning at all price points now. ALMOST... pretty much only blackface fender is still plug n play vintage right out of the gate, and even then not always. Everything else will likely need service or cost top dollar because its been serviced recently.
but yeah, there's my .02 on 12 to 20 watt tube amps.... I've owned and used a lot of them: Princeton reverb, 18 watt clone, 20 watt RI head, 90s ac15tb, tiny terror, ac15hw1, 5C3 wide panel deluxe, Gibson ga14 (a 5E3 tweed deluxe by another name), magnatone varisty, vintage supro dual tone 24 etc
all similar (except the Princeton, which is the tightest and punchiest mofo in this wattage range) and yet the feel and the way they cut the mix when overdriving can be very different.... some of it is speaker selection but a lot of it is little details in the circuits....