  The paper proves existence of renormalized stationary solutions for a dense
class of discrete velocity Boltzmann equations in the plane with given ingoing
boundary values. The proof is based on the construction of a sequence of
approximations with L1 compactness for the integrated collision frequency and
gain term. Compactness is obtained using the Kolmogorov-Riesz theorem.
