Lead free is recommended, even though it's really the lead dust that gets you. Also lead can't be washed out with soap?
Nice hackaday article comparing the different lead-free solder types. https://hackaday.com/2020/01/28/lead-free-solder-alloys-their-properties-and-best-types-for-daily-use/
China ones are basically 10X cheaper. I wonder why?
Also OSH park ones for medium run (which includes fancy HASL coating) is 3X price of JLCPCB. https://docs.oshpark.com/services/two-layer-medium-run/
Or DIY quickly for $4k startup costs. I think they'll figure out how to get it working better: https://www.voltera.io/
“Conformal Coating” is the key word. Plasti-dip sorta stuff
#To remove an eagle package/symbol from a library, just use the remove command (clunky, but works) "remove qfn16.pac" or "remove 7-SEG.sym"