I would also suggest the following:
Bluesound Node/Vault with external DACLumin (new one will be outside your budget, but worth stretching if you can)
Cambridge Audio CXN2
Pecanpie streamer also really good if you want to go down the Raspberry Pi route.
I prefer the BlueOS interface to any Raspberry Pi software options. But each to their own preference.
Other alternatives that I don't have experience with is the Arcam ST60 and a new iFI Streamer.
Bluesound Node/Vault with external DACLumin (new one will be outside your budget, but worth stretching if you can)
Cambridge Audio CXN2
Pecanpie streamer also really good if you want to go down the Raspberry Pi route.
I prefer the BlueOS interface to any Raspberry Pi software options. But each to their own preference.
Other alternatives that I don't have experience with is the Arcam ST60 and a new iFI Streamer.