Those are the barking tree frogs right? What's the taxonomic name (is that the proper term?) for the Cuban tree frogs? I was told by a local pet store they can sell them, but I wouldn't want to risk any of those getting loose around here... they'd gobble up all the poor PTFs!