I finally managed to make some progress after a frustrating couple of hours. The SD cards from Tesco need a small micro SD inserting, which remained in the box! I’m now writing the OS to the SD card. So far, so good. Looks like it’s going to take about an hour for each card.