So it appears that my mistake was paying a little extra for the kit. I reformatted the SD card, downloaded the new out of the box software (NOOBS), copied it onto the SD card, powered up the Pi and about 30 minutes later it was booting just fine into Raspbian Linux. I’ve got to pick up a supported USB WiFi device today so I can get it onto the network. I can then start testing some code. Fun!