Esos LED son fáciles de cambiar diría yo, todo es desmontar el panel donde están anclados y acceder a los LED que están puestos, ves las especificaciones y compras unos de color rojo que sean iguales, los sueldas con estaño y listo.
Si no te quieres liar con soldar y demás puedes hacer un apaño pero quedará bastante peor, y es pintar con permanente rojo los LED, de manera que cuando emitan luz lo hagan pasando por el rojo, pero va a quedar un color muy oscuro ya que la luz inicialmente es azul, y azul+rojo=magenta tirando a oscuro.
La primera opción no es difícil, aunque a simple vista lo parezca.
Saludos