The service ceiling is really the maximum density altitude of the aircraft. Performance is determined by the density of the air, not by elevation ASL. So if the DA is 9000', as it was today, that leaves 5000' for maneuvering - if you take the service ceiling literally. However, it's not like...