Your room isn’t that big IMO,so I would stay away from anything to big unless you are going to do room treatments and or use a amplifier that has room correction.
10k is a good budget and if you shop around,like I did,you can buy something that retails new for much more but at used or demo prices.It’s currently a huge buyers market if you have money in hand and you are patient.
You need to give us more details of the sound preferences that you like,listening levels,do you want lots of solid bass without subs,etc.
With your budget I wouldn’t recommend anything from Tekton,way to many other great choices to look at.
Good luck to you,
Kenny.