Thanks Phil. A few questions, if I may. I have a HDMI port marked “service” is that the one to use to connect to the TV? At what point did you power up the Mini? Is it a case of power down, plug in kb, usb stick, hdmi and power up? Then proceed from Step 2 ?