Son escalones distintos. Serie 6xxx, luego Serie 7xxx y luego los de la Serie 9xxx.
Cada uno va superando al otro. Tú preguntas si un 7400 es mejor que un 9300 y la respuesta es NO.
Creo que hasta un 9200 es mejor que un 7400.
Luego, dentro de las Series, en realidad no hay mucha diferencia entre uno y otro.

El consijo del compa @Su6zero es muy acertado. Posiblemente un 9300 lo encentres en torno a ésos 1600€ aunque yo apuntaría a unos €1800.
Un 9400 usado estará sobre los €2000 y nuevo se acercará a €3000. ya, en ésos precios, creo que particularmente me miro un DLP laser, al menos yo que no sufro de arcoiritis.
Lo bueno que tienen es que cuándo quieras cambiar (y no dudes que ocurrirá) lo vas a poder vender a un precio razonable. Cosa que con un chinocohino no ocurrirá NUNCA. Incluso un modelo de entrada lo puedes vender recuperando parte de su precio. Por éso no entiendo la decisión de comprar un juguete chino antes que un proyector de tecnología seria. Lo que perderás será siempre el costo de uno de ellos pero con un proyector serio disfrutarás y aprenderás.

Y con el sótano, sí. No sabes en lo que te estás metiendo. Pero te vas a entretener y el resultado, si sigues buenos consejos, va a ser muy satisfactorio.
Pon mucha atención al acondicionamiento visual y acústico del ambiente. Una parte muy grande del resultado estará en ello. Aunque se te vaya buena parte del presupuesto. No importa. Para cambiar a equipos mejores ya habrá tiempo. Nunca va a ser lo mismo el uso de un 9400 (por mencionar un todoterreno) en sala dedicada que en sala "pesadilla". En las dos se verá, pero en la dedicada sobresaldrá.