I’ve picked up my car from the repairs today. It looks all brand new and shining from the complimentary wash, except for the light. Apparently, there wasn’t one for this model available, so they will have to order it from somewhere far away. Even Japan is possible. The light should arrive in a couple of weeks and they will finish the repairs.
I can enjoy the driving in the meantime.