There are several species called Coqui. There is a species called the Puerto Rican Coqui but I believe there are several members of the genus Eleutherodactylus on the island. I've seen a few kinds in the Caribbean. Some occasionally turn up in the pet trade.