u/justapreythrowaway

I’d picked up an old HP-35 (second version, I think?) from a rummage sale a little while back and was hoping to revive her. The battery pack in it currently has a tiny bit of leakage from one of the cells, so I didn’t want to try to charge it, but otherwise looks to be in pretty good condition. My question is would it be simple enough to pry the original pack open and replace the cells, or would it be easier to just buy a third party pack/adapter?