Good - It obviously had decent batteries fitted so no leaking.
I used to use Duracell, but they all seem to be pirated versions around nowadays, even in stores you think would know better!
Tip for pinball owners, either replace the high score with some form of NVR or change the batteries every year on the same day (I do my one remaining pinball with batteries in on xmas day, rest all have FRAM or similar installed now, but one also has a real time clock, so not so easy to change)