It doesn't matter. Just set your computer name to your @home username (crxxxxxx), and use DHCP. Or set your IP to static like I've done. Both work fine. They tell you it wont work because if you do something wrong and it really ends up not working, they don't know how to troubleshoot linux.