Given the look and color of the lighting I would guess LEDs are being used. But you never know until you tear into it. Don't forget to post pics!
Edit according to service manual page 4657 or page 1 of section 13. LEDs are what is used, sorry.
Last edited by FLlegacy; 08-16-2015 at 08:42 PM..