Если не найдёте в продаже, то такой диод можно изготовить вручную. Берёте любой ИК-диод в корпусе 5 мм из прозрачного пластика (например, от дохлой видеокамеры, имеющей ИК-панель подсветки). Сначала пробуете на то, подходящий ли он - просто припаиваете и проверяете, работает ли устройство. Если работает, то отпаиваете, спиливаете напильником верх корпуса, гладко заполировываете спил и впаиваете окончательно.
При этой работе есть нюанс - нельзя спиливать слишком много, чтобы не прихватить тоненький проводок, идущий от верха ИК-кристалла к соседнему выводу (этот проводок под сильной лупой хорошо виден сквозь пластик). Если напильник коснётся этого проводка, то диод сразу можно выкидывать в мусор.
szsgir.com/data/SIR5113.PDF тут могут быть еще варианты
ну а так в гугле "ir led 5mm flat top" -> картинки, ну а далее все дороги обычно ведут на алик/алибабу( там в описаниях выискивать артикулы)
P.S. ну и кстати без параметров оригинала можно найти только механический/функциональный аналог( не факт что подойдет в датчик)