Thanks for your help. I already had tried to init the SD Card and nothing appeared to be happening (apart from the LCD blinking once). So, I tried it again tonight and waited for a minute or two and again nothing changes on the LCD. However I then decided to reformat my SD Card using Disk Utility on OSX (FAT) and then initialized it on the Vertex, … and pronto the menu changed to CHANGE SD CARD. Hooray.