Panel mounted IR receiver?

[fernfrost]

Does anyone know of a 38 kHz IR receiver that can be panel mounted?

Something like this perhaps:

 

[chrisng]

Google search "Panel mounted 38 kHz IR receiver" results:

https://www.antennawarehouse.com.au/ir-receiver-panel-mount-bullet
https://www.infraredremote.com/wp/product/panel-mount-receiver/
https://www.infraredremote.com/wp/product/panel-mount-16mm-metal-infrared-receiver/