>In the past, I have used marine type battery boxes for radio installations >>and I usually vented it outside by cutting a hole in the battery box top >and >affixing a flexible vent line to the outside.
This is what I was thinking of doing. Glad to see someone else had the same idea. Thanks! Tom