What do you do in a tornado warning when in the RV?

1 night several years ago we spent a lot of time in the campground cement block bathroom with 2 grandkids. No tornado hit us. There isn't a heck of a lot to do but pray. Probably going to the sturdiest campground building(usually a bathroom) would be 1st choice but have to admit we aren't going to stay awake all night ready to run to the BR. Getting into the truck would be my 2nd choice. Probably staying in the trailer is not good, especially if large trees. Perhaps a motorhome would be slightly safer?