La potencia del 807 es de 135 watios por canal ( en stereo ) y el 3007 anuncia una potencia de 140 watios por canal en stereo, por lo que en principio el factor potencia entre estos dos modelos no es algo decisivo.

Eso si, uno es un 7.1 y el otro es un 9.2, además de las diferencias en conectividad, procesador de video, etc.

Las ES100 no son unas cajas dificiles de mover, por lo que no debería darte problema ningún receptor de los que propones. Hace muchos años tuve la ocasión de disfrutar ( no era mio, pero casi...) de un amplificador Onkyo con JBL y la verdad es que el rendimiento era bestial....

Respecto al Denon o al Onkyo, pues repasaría bien las funciones de cada uno y me quedaría con el que mejor cumpliera tus necesidades ( eso sin oírlos ). Desde luego tendría en cuenta al precio y lo "actual" de los modelos...