Sabes que el m550 es más todoterreno.
El V7850 y su gemelo están más orientados a cine. Mejor rueda de color que ayudarán en la colorimetría y potencia lumínica más controlada que mejora los negros y el contraste. Siempre recordando que es un DLP.
En definitiva, el m550 para oficina, educación y muy usable para cine. El V7850 y UHD65 muy orientado a cine y (supongo) flaquearán bastante en entornos luminosos para presentaciones.

Un 9400 es un excelente equipo. De lo mejorcito que te puedes agenciar. Ya llegando a ése presupuesto creo que la pregunta es ¿Un 9400 o un VL7860/UHZ65? La respuesta dependerá de lo que buscas en un proyector.