Given that headlamp assemblies reportedly have a list price of ~$3800 each, and given that headlamp bulbs allegedly cannot (the entire unit must be replaced), please post to this thread if you have experienced a headlamp bulb failure and indicate how the problem was resolved.