Per i modelli non fai prima a vedere direttamente sui siti devi vari produttori? Il budget è abbastanza alto, quindi potresti vedere o proprio Marantz (e lì vai sul sicuro, sia come stereo che con il Dolby) o Harman/Kardon, Bose...