The IMRC sounds like the culprit, but if that doesn't fix it look at the wires and plugs. I had issues above 4000rpm on two seperate occasions on the same engine. First time it was the crappy plugs, the second time it was the crappy wires. I did a tune up before knowing any better, but now the cars get only OEM equivalent plugs and wires.