Alligator trapper called in to safely remove gator from a family pool. He ended up playing with the gator to tire it out before he could remove it from the pool. The alligator was let loose at Everglades Holiday Park. I just love a happy ending.