Yeah, Michael should incorporate prices. The 4130 is ~100$ while the 3770k is ~300$, yet they are almost even in single-threaded things.