My Pi arrived!
I managed to source an SD card (just need to buy another one for my camera) and a micro usb power source.
Downloaded the recommended debian image, and copied it onto the SD card using dd.
dd bs=1m if=~/Downloads/debian6-19-04-2012/debian6-19-04-2012.img of=/dev/rdisk1
10 minutes down the line…
Hooked it up to an HDMI cable and ethernet cable, and look at what we have…
Annoyingly, I don't have a usb keyboard to hand and ssh is not enabled by default, so I have to sit on my hands for now!