Update.
I measured the inductance and it read 0.3Ohm, 0.01mH. With or without the broken part (which I could slide out easily).
I glued the two parts with epoxy, left it overnight in a clamp.
The following morning I tested the inductor again and it now reads as a resistor, 0.24 Ohm. Yes, the...