Hi, no. We didn’t find out until it came out in the news.
If you post it as a Puerto Rico ping list item might we hear from some people who did see it?