I don’t remember so much about the death of Lily. Those animals didn’t belong to the zoo. And when it came to and I don’t even know that I remember why the animal died but I think our veterinarian and the veterinarian that worked with that particular entity, I think they did most of the talking. Particularly, it wasn’t a Oklahoma City Zoo type thing. It was more that we had this accident, this animal was here on loan or whatever. Judy the elephant though was I think we definitely did the right thing there. When she was 49 years old, if I recall or something like that. And she was one of these animals that, it happened in many zoos, all little kids threw in their pennies and nickels and dimes and gathered up, I don’t know, $4,000 and bought Judy the elephant.