An insider’s guide to Costa Rica