In this survey paper, I describe some aspects of the dynamics and the spectral theory of sub-Riemannian 3D contact manifolds. We use Toeplitz quantization of the characteristic cone as introduced by Louis Boutet de Monvel and Victor Guillemin. We also discuss trace formulae following our work as well as the Duistermaat-Guillemin trace formula.