Yes, good point. There are many varieties that live native around WDW. While rarer it is possible to spot them. We've caught (with our eyes, not literally with our hands) tiny ones on paths warming themselves on the concrete. So tell him to keep his eye out when walking around, especially in an area that's sunny and not well traveled, and has an escape route for them to get away from the hungry birds.