Tag: should you tip in us dollars in costa rica?