De los que mencionas, cogería el Onkyo 515, pues si tienes pensado comprar un proyector es el único con doble salida hdmi. A no ser que vayas a ver todo exclusivamente a través del proyector, en cuyo caso también es buena compra el Pioneer.
De todas formas, los programas de tdt yo los vería por tele normal, de ahí que te aconseje el Onkyo.
Saludetes.