I doubt many cars specify an AGM battery. If you just go to a battery retailer, an AGM battery will likely advertise that it's an AGM battery since it's typically a fancy schamncy upgrade. It will also be significantly more expensive compared to a lead acid battery of the same Group size.
I know you don't have Menard's, but here is an example... two batteries of the same Group Size, one is AGM and one is the typical lead acid.... the AGM says AGM right on it, and is much more expensive.
https://www.menards.com/main/tools/auto ... 776&ipos=1
https://www.menards.com/main/tools/auto ... 776&ipos=2






