I remember that storm in the Dallas area well. Felt so sorry for those people stuck on the road. They just had no where to go.
We were in Ok City one year at a campground just north of the city. This was about 2 weeks after the Moore tornado that did so much damage. It does have a storm shelter but no dogs are allowed. We travel with our dogs so that was a no go for us. Of course while we were there for the week a storm blows through with tornados.
We had been watching the weather all day and I had already formed my plan. Just around the corner, about a mile away, is a big horse track and casino. The tornados got close so we took the dogs and hightailed it to the casino. Ran inside with our dogs and not one staff member said we couldn't bring them in. They were very kind to us. Hundreds of people had the same idea as us and we were all in the lobby.
Got notified by staff shortly after the tornado was coming right for us and everyone had to move to the basement area. It got a bit crowded down there but everyone was great and the dogs behaved. They are small dogs and were very popular. Very secure place to ride out a tornado too.
Tornado turned, missing us but hitting south of OK City and doing some damage. Scary, but always have a plan.