FWIW you can rent the ATX and STX from Optics4Rent if you're having a hard time finding them locally.
I've done the STX scope (includes Sirui tripod) through them (Optics4Rent) before.
I didn't have a nice scope or binoculars for my trip to Yellowstone in 2017.
How much use you get out of them...