Those eddys wont make near as much power as the rhs's, unless he does some serious porting to them. Is $1600 for the eddies with any of the correction machine work that's required to fix the guides and crappy valve job, or just OOTB. If OOTB, those eddies are not that good. Better than a factory X/J head, yes, better than Brians RHS set up, no fricken way!
Ede's go about 215 cfm at .400 lift which is what you will be accessing, the rhs go somewhere in the 240's at .400. There's some good power to be gained there, better chamber... and the RHS are not ported one bit.