I always forget to just sniff the traffic.. \sigh
Everything was in order - Option 3 as well as the others were what I expected them to do.
The issue, as it turns out, has to do with having multiple NICs in Linux. In short, you can't always just unplug the cables and expect things to be happy. You have to ifdown and ifup the interfaces for the DHCP info to be set properly (or reboot) when you have multiple NICs. Embarrassingly, this isn't the first time I've run into this either.