Do all AA EOTECHS use the same battery compartmennt?

Would the battery box on the 552 / 512 type work on the 517 / 557 models or is it a different size? I can’t find boxes specifically made for the 517/557 online, only the 552/512. Would these work? Thanks.

Nevermind. Found it. Thanks