Well I've since formatted the computer and can't get it below around 9 seconds now (not including bios). I'll pull my finger out and get a write up sorted in the next week or two.