While risking being slightly off topic: Does anyone use anycast dhcp servers? Have you run into any problems considering synching the leases?