So who’s shut down is this now. Paul’s? Republican’s? It’s more like a hiccup and inconvenience than a shutdown. And how any idea of cost?