We confirm rigorously the conjecture, based on numerical and asymptotic evidence, that all the eigenvalues of a certain non-self-adjoint operator are real.