Infinity Beta 20, que receptor poner??

Hola, recientemente he adquirido unas infinity beta20, unas beta hcs y un central c250, y ahora viene mi pregunta que receptor meteriais el Denon x4100 o con un denon x3000 sobraria?? Cito estos 2 porque tengo un conocido que me los dejaria a buen precio, logicamente el 4100 350 euros mas caro.
La sala es pequeñita, 12 metros cuadrados, decir tambien que los altavoces frontales iran a tan solo 30cm del suelo, ya que los puse justo debajo de la pantalla del proyector, sino no me daba ni para 90".
Gracias de antemano!!!!

Yo miraría la versión de AUDISSEY que llevan, si es la misma en ambos, daría igual, si no, el 4100.