Yeah, I've seen Sophia. They've anchored near by but me thinks they're workin. This is really called the "employee's harbor". They now call the marina "Yacht Haven Grande". We still affectionately call it Rat Haven as we did 30 years ago. It is nice; but, the money. Whew! When "Rising Sun" makes all the other million dollar boats look like chicken scratch.
When we see Sophia we will give them a yell for ya!
Fair Winds