OK. Thanks for your help. I really wish one could spec one's own office pcs, instead of letting the boss get whatever the best deal is at the time!
The other thing I heard about the Intel® G33 Express chipset (which is what this HP uses) is that you can safely take the FSB to 333MHz instead of the stock 266MHz with the E7200 CPU. However, I can find no way of doing this with the HP. Am I stuck in the crawler lane?
Short answer is yes, you can't edit OEM BIOS settings such as FSB.