One thing which I am not particularly happy about is that DHCP offers no such provisioning within the protocol for redundancy. If you have more than one DHCP server hanging out on a given network segment, the client will pick the address offered by whichever server answered the fastest.

At first glance, that sounds okay. However, there currently is not a way to keep the outstanding DHCP leases in sync. As a consequence, you must divide up the assignable range for each DHCP server you have on the same network segment. This solution is sub-optimal, but it is better than managing each address individually.