Anyhow, here's the procedure. I'm using an Anvil, but the process applies to other models in the range.
Lift the back plate up and away - don't slide it sideways because this may damage the springs and contacts underneath. If, like mine, there's a white plastic sticker over the battery then carefully peel it off
Now that the battery is exposed, remove the even smaller cross-headed screw from the retaining plate
Now you can remove the old cell
Install a fresh 3v CR2032, positive (+) side up, preferably not touching it with your fingers
Re-fit the retaining plate
Check that the rubber seal around the module bay is still intact and, if necessary, apply a tiny amount of silicone oil to retain water-resistance
Check the display, the light and, for completeness, the alarm tone, then re-fit the back plate. Ensure the screws are in tightly but not over-tightly. That's it, you're done!