Well, this was the light from where I took the TIR lens 
https://www.aliexpress.com/item/Stainless-Shell-300Lm-CREE-Q5-LED-Torch-Light-LED-Flashlight-For-Sporting-Camping-Hiking-free-shipping/1387052485.html?spm=a2g0s.9042311.0.0.BChkAl
It is a Stainless Steel (3xAAA / 18650) light, and I modded it with a brass pill, biscotti driver and a Convoy S2+ reflector and lens. I had to dismantle it later but will put it to work again soon!
About the TIR, please check this thread, as I experimented XML2 LED with TIR lenses and that was the first one: Essays with TIR lenses on Convoy S2+: XML2 + XPL-HI [Update] .
I also tried it with XPL-HI here: Essays with TIR lenses on Convoy S2+: XML2 + XPL-HI [Update] - #15 by MascaratumB . Also the first one.
Hope this helps in some way