What is puerto margarita Postal Code?

Postal Code of puerto margarita is 25230