Too many. I went to Amazon and just goggled “20mm collimating lens” (yeah, go figure) and got a bunch from LEDsupply.

Got some coming in from AX, some generic supplier for a 5pak of 10pak or whatever,

Best bet as to being choosy is from LEDsupply. I’ll go find the link…