Ir LEDs gibts in fast jedem Elektronik shop. Auch beim großen C sollte man deutlich unter 1 EUR was brauchbares finden. Wenn man per Linse selber bündeln will, sollte man eventuell eine IR LED ohne eigene Linse nehmen, dann hat man daher keine extra Linsenfehler. Wie gut man den Strahl bündeln kann hängt halt auch von der IR led ab, wenn da eine schlechte Linse schon dran ist, hat man es nacher umso schwerer.