  We prove a quantitative version of the Gaussian Faber-Krahn type inequality
proved by Betta, Chiacchio and Ferone for the first Dirichlet eigenvalue of the
Ornstein-Uhlenbeck operator, estimating the deficit in terms of the Gaussian
Fraenkel asymmetry. As expected, the multiplicative constant only depends on
the prescribed Gaussian measure.
