Jarvin, te persigo XDD. He pedido tu mismo receptor y por lo visto buscamos altavoces similares, así que lo normal será que te copie el conjunto XD (espero que no te moleste)

Estos de mundoelectro parece que los tienen pero no sé yo.... he leido de todo sobre ellos, más malo que bueno:

HARMAN KARDON HKTS30BQ

Parece que se quedarian en 399 o así (suman 36€ de gastos de envio, al menos a Madrid), parece que por ese precio casi es mejor buscarlos en otro sitio, pero si parece que está complicado.

En redcoon los han sustituido por los htks 35 y la diferencia no es mucha....
Harman Kardon HKTS 35 BK · Altavoces home Cinema 5.1 | redcoon.es

Ahora solo me falta indagar si nuestro Onkyo moverá estos altavoces.