Replacement TIR (?) for security camera IR light source.

I was wondering if anyone has come across the square/ rectangular TIR’s (?)/ lens that are used in security cameras for the onboard infrared LED light source? I’ve got a Hikvision camera that I’ve changed the lens on (from 4mm to 16mm) and now would like the make the IR beam throw further with a tighter spot type beam.

This is the camera (DS-2CD2335FWD-I)

I found something similar on AliExpress, so have order one. It’s got a 30 degree beam. The size of it is slightly different, so mods may be required.

1 Thank