Pues cualquiera de ellos cumplirá perfectamente su cometido; esas Infinity se mueven muy bien, con poca potencia, así que los 25 watios/canal del 8011 o los 35 del z22 serán más que suficientes para esos altavoces.
Yo elegiría el que esté en mejor estado de los dos, sin más, supongo que no quieres invertir demasiado por lo que fíjate que funcionalmente estén en perfecto estado y que, a lo sumo, tengas que hacer una limpieza de potenciómetros con algún líquido específico y que no tengas que meterte en reparaciones.
Tienen ambos muchos años encima pero seguro que encontrarás alguno que esté en buen estado.
Un saludo...