Can someone please tell me what the proper time server code is for Costa
Rica?

Thanks