The manufacture of halon in the US was banned many years ago but the existing stockpiles are still allowed to be used. Which means that it is getting more expensive, not nonexistent, what is amazing is that FE36 the currently environmentally friendly halon 1211 replacement still cost about three times as much as halon that has not been manufactured in over a decade.