Velocity auto-correlation functions in a 2d lattice Lorentz gas: Comparison of theory and computer simulation