Replace clock battery on Dell Inspiron 8200?

Replace clock battery on Dell Inspiron 8200?

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.