Raspberry Pi NOOBS install without DHCP

Having got a Raspberry Pi and having never setup Raspberry Pi from scratch, I went ahead and proceeded to do the NOOBs install for myself. However since my Cisco switches have Spanning-Tree-Protocol enabled, it takes a while before DHCP addresses are handed out. Long enough that the NOOBS install would time out and give up without …