Those were also considered. But we're gonna tackle this part of the trip AFTER we're all done, and then head to visit friends in Riverside, before we drive home the next day, so we don't want to spend a lot of time at both. And we gave my son a choice, and he would rather see the dinosaurs.