So I cleaned my new-to-me 512K this evening. I noticed the 4.5V battery had corroded at the top terminal. There's no doubt that the battery kaput. Is it ok to turn on the 512k without a battery in the compartment? I'm not sure when I'll be able to get a replacement. Thanks everyone!!!