Thanks David, he's not going to be very happy when I tell him, but he likes beardies too, and they originate in Australia, so at least he should be able to get one of those
He will have to get a license to keep any native species, then buy them from someone who breeds. Remind him he has a whole world of amazing reptiles where he lives. For more information check out the aussie forums on geckosunlimited.com. There are a small group of folks who keep stuff there that are from Australia.