Has anyone got any practical results on how fast NUD occurs for <linux/windows/blah> systems when they have multiple valid default nexthops learned through RAs and one (or all but one) of those nexthop routers then goes offline without cleanly sending a withdraw. Any relevant radvd timing tweaks would also be of interest.