"Roger Long" om wrote in
message ...
Has anyone heard or experienced this?

Nope, but I guess it seems plausible. On my airplane, both batteries have
vents overboard to allow any gases out. I would hope that, even if gas
accumulated in the battery box, an ignition source wouldn't be forthcoming,
but I guess I can't rule that out.

Maybe as part of the repairs, you should add vents to the battery box or
batteries (my batteries each have a vent built in, to which a hose leading
outside is connected).

Pete