And if you really need to replace it (highly unlikely), you would have to look at the sensor model. You are not likely to find the complete datasheet, but you may at least find the wavelength. You need to find an LED with the same or similar wavelength.
Although those sensors have pretty wide sensitivity range, so any random red led may work.