Nifty idea. And it would work for what I want to do for this immediate thing that I need it for. That will be my work-around for now.

A more general curiosity question for the future, then, would be, is there some kind of command I can type at the shell to do the thing I wanted? Some way to tell the DHCP server, "can I please have a different IP address?"