Someone on Facebook said it's Bishopwood (Bischofia javanica). That's a Category I invasive in Florida so if that's what it was, I'm glad it was removed. Do any of you think that's it? I looked at some pictures, but I'm not very good at comparing by photos.