From refined estimates for spherical harmonics to a sharp multiplier theorem on the Grushin sphere