Thanks! I lost one battery when my garage door scraped the large part of the contact sensor off. Happened once before, and replacing the battery and remounting fixed it up. This time, I just can’t find the battery. 
Thanks for giving the sizes. I’ll get some ordered.