-> Somebody else earlier mentioned using compressed gas (such as carbon
-> dioxide) extinguishers in the place of water.  It seems to me that
-> nitrogen would also be a good extinguisher without having residual
-> toxic effects.
I don't think water was what the FAA had in mind.  
I DO seem to remember that Halon (tm) had fallen into disrepute for some
reason, but it sure did a number on fires where there weren't any people
involved.
 ^..^
--- FidoPCB v1.5 beta-'j'
---------------