Micromega IA-400 or AS-400 are also great options. Get the AS-400 if you want to stream to it via AirPlay. I saw some on here marked down to $1500 or so which is a screaming deal as I think they were around $4k originally.
I spent a lot of time with an AS-400 and was very, very impressed.
I spent a lot of time with an AS-400 and was very, very impressed.