so why divert there in the first place? As I understand it, they were 40 minutes out of MCO when they had the tech problem. As such there were multiple options, that would have had hotel rooms, PHL, IAD, BWI, CLT, BOS, or even EWR.
I cant believe that their Operations management were unaware of hotels situation when making the decision to go to JFK.