Email Record: Hypoellipticity and eigenvalue asymptotics