We've used Alamo and had no problems. The wait was minimal, staff was friendly, and price couldn't be beat. We've used Budget too almost 2 years ago. No glaring problems stuck out in my mind. Unfortunately there aren't any rental agencies within the airport. All have off site facilities using the bus system. The bus system is actually quite manageable even with young children, car seats, strollers and lugages. We've never had to wait more than 5 minutes for a bus to come pick us up. The entertainment book has some good coupons for rental cars. we booked a 6 day full size rental once for $130 inclusive of tax. Also check out the costco travel website if a member.