we already ship VRRP-MIB so I assume having a similar setup as OSPF should be enough for this.
Input? Comments?