I agree with your budget choices: under $4K I'd probably opt for a really good standmount (or maybe DIY)....

My choice for $2.5K (including stands) is the Revel Performa M22 - at 85db they'd really appreciate all your Krell has to offer....