There was quite a bit of publicity about him leaving Florida. I don’t have a link but I’m sure it’s probably still on the web someplace.
Interesting stuff. Thanks for the information.