A lot. But I think the problem there would be the budget. I don't believe you'd find the heads AND all the associated valve gear to make them work for 3K. I could be wrong. If you could, they'd certainly out flow anything under the sun ported, and a lot unported, IMO.
