I have more than a passing familiarity with CARP, VRRP and HSRP which, as you might expect, are used extensively throughout our network to provide various levels of redundancy for switches, firewalls and routers.
@kgc Great, than what solution can you offer for someone who wants redundancy and does not have static IP?