Does the random Lorenz gas have a non-trivial diffusion coefficient?

For the periodic Lorenz gas Sinai showed that rescaling the trajectory of the tracer particle yields Brownian motion in the limit. Does there exist a similar result for the random Lorenz gas? If not, do people believe that there is such a limit?

By the random Lorenz gas I mean: take circular scatterers distributed uniformly at random in the plane conditioned on the scatterers not overlapping. The scatterers are fixed. The tracer particle is a point that moves with constant speed and has perfectly elastic collisions with the scatterers. An initial condition is chosen at random (say, by picking an initial point away from a scatterer and then picking the initial angle uniformly on $[0,2\pi)$.)

The numerical experiments in Dettmann and Cohen, 2000 suggest that there is diffusive behaviour for the random Lorenz gas. This article by Bunimovich states that it is believed that velocity autocorrelation decays polynomially, but does not mention whether it decays fast enough for there to be a finite diffusion coefficient.

-

I have been looking at random (and periodic) Lorentz gas models recently in preparing a review which has just appeared at arxiv:1402.7010. 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.