The red lights are all LED's. The procedure would be about the same.
So went to my friend's last night and attempted the fix. Ran into a few minor issues and only replaced the one bulb that was out. After I put it back together, only that bulb worked. DOH!. I said fu%k it and ordered the GM style bulbs off of ebay and we are going to take it back apart and replace all 3 with the OEM style bulb next weekend.
A little hint that wasn't mentioned in the write up is that the volume and tuning knobs have to be pulled off before the circuit board can be pulled off the faceplate.