If it works, don't fix it..
If you have a mission critical PC you don't make changes without a goal in mind.
I wouldn't flash a BIOS unless I knew it is going to address a problem I am having; not a problem I may have later.
The OP is a good example of why it's a bad idea to do otherwise..
For gaming, a high end 2500K system with at least a mid range GPU would make the most sense price/performance..
This will show you how the 2500k stacks up against the big boys with some very doable overclocking. ( no 3820 )...
This might help ..
http://www.xbitlabs.com/articles/memory/display/lga2011-ddr3_6.html
Scroll to about the middle of the page : " And here are the results of a few benchmarks measuring complex system performance .. "
Unless you do a lot of WinRAR, the real world difference between 1333...