Cool. Does a NOTAM go out mentioning that it's been damaged? (I ask paradoxically I guess, as "if you need it, you NEED it" and I guess I can't imagine that knowing it's out of service could factor into a pilot's decision, but of course I have zero idea ....)