Halotron is not the same as halon, halon was started to phase out of circulation more than 2 decades ago because of ozone depletion.  
So you have two choices:
Halotron
or
3M novec - which is about 300 dollars a gallon.