Existence of maximizers for $L^p$ Fourier extension from the hyperbolic paraboloid

We prove that maximizers exist and that maximizing sequences possess subsequences that converge modulo symmetries to maximizers for the $L^p\to L^q$ Fourier extension inequalities associated to the hyperbolic paraboloid in three ambient dimensions.