Someone pointed out to me that they are likely flying mechanics in from JFK (on this 1008) and are hoping to fix it and fly back to JFK to do the flight tonight. Would be shocking if they can be ready to depart JFK at 11:50pm, though. But it's not officially delayed yet.