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