Shop-supplied for a good long time. Unfortunately, like Old Yeller, the company that the shop was ordering AGM from discontinued it.
Hope this helps, Capt. Chris