Baytril and Fortaz together is the best, but most Vets don't have Fortaz. If they do, you know you're at a good reptile Vet. Baytril alone will usually work for a mild RI, but if you want to make 99% sure you'll knock it out....get Fortaz also.
A thorough Vet may want to do a culture....which is honestly best....but it's a leeetle costly.