They better hope so! A quench supposedly costs $30,000 or so to replace the liquid helium.
Depends on whether they are on an EMA or hourly billed service.
In general this is not covered by EMA, but the Area Service Manager will typically sign off on it and they will cover it it total or in part.
I have done this, for the same reason, in a local hospital. The Sheriff’s deputy went into the magnet room with his service weapon, and it got pulled out of the holster.
We ramped down the field to about .2T and used a come-along hook through the trigger guard to pull it out of the bore.
We avoided quenching it.
The problem is not the cost of the liquid helium, but that the room fills with helium and you don’t have long to get out before the helium displaces the oxygen in your blood through osmosis.