Well done! When are the Texas hatchlings due?