Tag: how much is customary tip in costa rica?