No doubt they will. There will be some people who continue zapping their old higher default amounts until they notice they are themselves getting zapped less overall, and then they’ll adjust their own defaults down.