I'd consider having an SSD as a boot drive. Although it would add £100 or so to the budget, the boot speed will be massively improved as well as overall snapiness of the system, particularly overtime...