Please could someone check the cancellation code for this service?

The captain announced it as an inoperable terrain radar - mandatory for departures out of Innsbruck - with no local engineering support available. They tried many resets, including a power down and reboot of the whole plane before the airport closed to departures for the night.

Would have thought it was tech, but wondering if the lack of ground support or the airport closure would make it exceptional.