I booked this rental car at SJO. The facilities are a dedicated rental car garage so very convenient next to the terminal. I found out my Trip.com booking rate is only for international non-US passport holders, as Americans have to book through a local U.S. agency, but the staff were very kind to help me get the special rate in their system. Which saved me an extra 3-400usd. When booking in the U.S., Americans should be careful about the terms of car rentals on this website.