Hey all!

So I'm in this weird situation: I'm looking at an inventory at work about some PC's we have at one of our offices and I saw this:

Intel core i5 - 3330 (3.33 GHz, 6 MB cache L3)

I found the "3.33GHz" bit as very weird, so I looked up the processor and I found out that the base frequency is at 3.00GHz, while 3.20GHz is the maximum, achievable through Turbo Boost. So here's my question:

Is it possible in any way that someone decided it'd be a great idea to overclock the thing all the way up to 3.33GHz? Is this even doable with this processor? Or is it just a typo by the guy that made that inventory because he had the "3330" part in mind or something?

Full specs: http://ark.intel.com/products/65509/Intel-Core-i5-3330-Processor-6M-Cache-up-to-3_20-GHz

Thanks in advance!