The compressor head of the old air compressor of the mirror support system had broken. As a new unit is very expensive, we decided to try to repair the compressor head. The manufacturer of the compressor had noted it was not a viable option to repair the head. It took some time to get the proper parts, but in the end the parts did arrive and the head was repaired. Since then the old system has been running for more than a month and the new system we had as a spare is a spare again. We have now also ordered a second compressor head as a spare.