I doubt it. Most of my customers are starting from scratch or replacing stock heads. It's counterproductive to sell eddy heads for our heads in most instances.
For 500.00 you can get good power out of the eddy heads, and for 1200.00 you'll SMOKE the RHS heads unless they are fully ported, in which case they should still make more power due to the pushrod pinch area able to be larger.