I think I've missed at JFK only once in the last 5 years, but have had much spottier success at T5, though 5B is often availble as a backup. The T5 spa is definitely understaffed, and they seem to send the therapists home for the day early at the least provocation.