here are the exact steps taken to configure the rpi. in steps 12 and 13 there is some dhcp stuff, so i guess it should work… how can i check?