  We consider the billiard dynamics in a non-compact set of R^d that is
constructed as a bi-infinite chain of translated copies of the same
d-dimensional polytope. A random configuration of semi-dispersing scatterers is
placed in each copy. The ensemble of dynamical systems thus defined, one for
each global realization of the scatterers, is called `quenched random Lorentz
tube'. Under some fairly general conditions, we prove that every system in the
ensemble is hyperbolic and almost every system is recurrent, ergodic, and
enjoys some higher chaotic properties.
