I would like to address in the "Stray Thoughts" section, Raspberry Pis are purchasable in the US! the best known retailers are companies such as Adafruit or MCM Electronics.