Is coqui the grog a amphibian?

Coqui are a type of frog native to Puerto Rico. Like all frogs, they are amphibians. They are well known for the very loud mating calls they make.