I would have been tempted to temporarily take out the 80 amp main battery fuse Les whilst changing battery. This to avoid intermittent contact power pulses as you re-connect the main battery terminals.

Richard

2018 Roadster 3.7
1966 Land Rover S2a 88
2024 Royal Enfield Guerrilla 450
1945 Guzzi Airone