Just after we left Hot Springs a tornado hit the town. That was very good timing for once on our part.