Bob, isn’t a simple reboot enough for the firewall to work again? We’ve seen such behavior before with reboot being just enough.
Thanks, Lukas.