I think there's been one thunderstorm like that in the day since she's started remote work two or three years ago, and the connection dropped for 10 minutes. We usually get storms like that in the evening, and that happens maybe 5 times a year.
I guarantee the DSL has dropped way more than that. Before Starlink and the hotspot we had that's the service we used, and it was atrocious.
It's just an old policy in a very large company that's slow to update their policies.