Greetings!
Try searching for your model in the My Networking portal, and check for a Software downloads link (for some reason, some S2500 models in the list do not have the link). An HPE Passport account is required to access ArubaOS MAS downloads on this site, but I do not believe a support contract is required.