@lfromsalem Sorry, man, my math was off ...
if you can score a TDAI 3400 for four grand you’ll only have $5000 leftover of your nine thousand dollar budget to upgrade your speakers, but I’d say that should be plenty!
And you'll be the coolest kid on the block.
But seriously, you'll definitely have the best sound!