I have an old Dell Inspiron 8200 laptop. Still mostly works, but the clock battery has died so everytime I power it on I need to go into the BIOS and set the proper clock time. From what I've been able to tell, replacing this battery is non-trivial, but I haven't found a clear answer.
How do I replace the clock battery? And how do I buy a replacement?