After decades of looking for one, I've finally managed to find an #Atari Falcon030. 🤩

Mine no longer had a functioning NVRAM and reverted to a low resolution and English defaults (this is a French machine). And it didn't save its clock.

The fix was to replace the chip (which contains both a battery and a few bytes of addressable memory). In its wisdom, Atari decided to solder it to the motherboard. So I desoldered it, put in a very thin socket and a replacement chip and it's happy once again.

For future reference, the parts I used are a Dallas DS12887+ (DigiKey part number DS12887+-ND) and the socket is a Mill-Max 115-93-624-41-003000 (DigiKey part ED5624-ND).