Kann mich nicht entscheiden: JVC AVX 33/11 oder KD DV73xx/53xx?

Hi!
Für mein geplantes Multimedia-Center im Bus habe ich mich für folgende Eckpunkte entschieden:
Guten Sound für Kino, am liebsten Surround!, aus Autoradio.
Externes Bild: also AV-Eingang für ccd-Rückfahrkamera und AV-Ausgang als Video-out zu TFT/LCD-Display extern. Dafür suche ich mir ein billiges, großes Display (vielleicht sogar als externes DVB-T-Tuner-Teil portabel mit AV-line-in). Dann brauche ich also nicht unbedingt ein integriertes Dispay.

Bleibt folgendes Problem:

Ich kann mich nicht entscheiden!!

Also, Freaks, helft mir bitte mit euren Erfahrungen!!
Wer kennt und bevorzugt eines der folgenden Geräte:
JVC KD AVX 11
JVC KD AVX 33
JVC KD DV 7302/01
JVC KD DV 5302/01

Ist das AVX 33 das einzige mit echtem Dolby 5.1-Surround-out? Sind alle anderen Dolby 5.1-fähig aber down-mixed-2-ch? Was soll das denn? Ich steige langsam nicht mehr durch?

Wer von euch hört denn echten Surround-Kino-Sound aus seinen Auto/Bus-Boxen?

Danke für eure Hilfe!