I think they’re the same species that are around the pool at the Riviera. Anyone know the name? I’d love to put some in my backyard.