When I first bought my 2011 Bighorn. last January, I was told by my salesman that all the recessed lights were LED for energy effriciency. When I had to replace a ceiling light last week, I discovered that it was a 20 W Halogen. Not as energy efficient as an LED. Just curious, were LED lights...