big hp 4 cylinders are nothing new. SR20, 4G63, K20. Pretty cheap to build them up to put a hurting on a stock turbo F80.
Hell even the new TTRS with a stock trans, stock internals, stock turbo... will run a high 9 sec 1/4 mile and put the hurt on a tuned f90 of tesla p100.