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!!!!