A follow up question. I can see the option in the BIOS to update it, but can I do this without installing an O/S e.g. can I put it on a USB stick and if so, where do I get it from.
[few minutes later]
Actually, I've found how to do it by searching this site. Apologies