I have been looking at random (and periodic) Lorentz gas models recently in preparing a review which has just appeared at [arxiv:1402.7010][1].  As far as I know, there are rigorous results only for the low density (Boltzmann-Grad) limit, and for models where the scatterers are known not to overlap (for example placing a scatterer or empty space randomly at each site of a lattice).  In the fixed density case there does not even appear to be a proof that "conditional on the scatterers not overlapping" converges.  Choosing a point outside a scatterer at random is problematic since the measure is infinite; better to fix the point at the origin and then choose the scatterers conditional on not overlapping each other or the origin.  The low density limit suggests that the velocity autocorrelation decays as $t^{-d/2-1}$, which is fast enough for the diffusion coefficient (its integral) to exist.

**Correction**: After the above paper appeared online (Commun. Theor. Phys. **62** 521-540 (2014).), and following discussions with D. Szasz, I discovered references that do indeed show that the non-overlapping condition converges.  See *A variational principle for the equilibrium of hard sphere systems*, Gallavotti, G and Miracle-Sole, S, Annales IHP A **8** 287-299 (1968); appendix B of *Observables at infinity and states with short range correlations in statistical mechanics*, Lanford III, OE and Ruelle, David, Commun. Math. Phys. **13** 194-215 (1969).  But the diffusion question remains open.

  [1]: http://arxiv.org/abs/1402.7010