Don didn't say no lead. He said nominal lead. Nominal lead is the lead normal people use.
. The recycle stream for lead is very good. You return your battery to a recyler, as you should, it will get ground up and made into a new battery. Near zero impact on the environment.
Yes there are AGM batteries that are FRC legal