In case anyone finds this post looking for a battery, the above link is NOT a direct replacement. It’s a different size (a bit thicker) and has the wrong connector.
Swapping the connector isn’t an issue; I’m thinking about 3D printing a spacer for the scope’s shell to accommodate the battery’s additional thickness.