PHLX, NOM, ISE/Gemini all halted trading and all exchanges halted options trading on Nasdaq listed symbols until Nasdaq came back up at ~3:40. Yes, most sophisticated co-located firms probably use raw feeds, but how do you facilitate trading when the official feed for the underlying is down and the symbols aren't even trading on their listed exchange? (Nasdaq down from ~12 to ~3:40)