Statistics for Electron Coolers