Oh and it's a good job you don't want to overclock because from what I've seen so far it looks like there are no setting in the BIOS for overclocking.
There are no overclock options in the bios as it is designed as a business orientated computer, however I did overclock using various software based tools. Not ideal, I know, but it works