I am moving and I am flying with my cats on Spirit airlines tomorrow. However I just realized that their carrier is an inch too big in height?

Does anyone know how strict they are with their dimensions? Do they actually measure their carriers? I can't find something nine inches in height!

Thanks!