My Sears Craftsman car battery charger is over 20 years old and I don't have its manual around. I would guess at it's time, AGM battery was not invented yet so I doubt the manual would say any thing about charging AGM batteries.