Advice for speakers under $4K for mixed use

James63 is right, best to get out and demo as much as possible. Here are two that you might like.

Von Schweikert 4JR or 4SR
Devore Fidelity Nines

add in B&W models (CM9 and the next one up?), PMC (Gb1 I think and the next up), Pro-AC seems to be well thought of. Aerial 6, some of the Salk models, some of the totems, and I'm sure others. Note I just trying the think of small footprint floorstanders (the b&w's are dodgy on this list). Of these I really liked the PMC units. leaves money left over for cables and stuff.

+1 on the demodemodemodemo and pretty much all listed in above posts.

p

Joseph Audio Rm22 or 25

A used pair of Vandersteen Quatros would be a superb choice
we have installed many of these phase and time correct design also featuring room compensation.
The Quatros perform with full range performance with genuine bass to 25 hz and maintain their balanced dimensionality even in corners inches from the side and front walls with amazing results.
Cheers Johnnyr

IME, Thiels need huge power to show what they are capable of. I doubt that the AVR you have has enough juice for Thiels.

I think the Josephs are an excellent alternative.

The Quattros would work well, since they have powered subs in each speaker. Finding a nice pair used for $4K is not impossible, but may require some patience. Also, you will forfiet the dealer install & setup you get when you buy new, so be prepared to spend some time dialing in the bass.

I have a combo 2-channel/HT system myself. Please check my System link. I am really enjoying my Ohm Walsh 2000s ($2800/pr) for both music and film. Note that before I was able to order the center (and after I had sold my old center), I used the Ohms in Phantom Center mode. This worked quite well, although I am glad I have added the matching center channel speaker. The Ohms also like a lot of power, but if your room isn't too large, your AVR should work. My 2000s are 9" square with a slightly larger plinth.