This will be a short report. I stumbled on mangosteens being sold at Tin Duc Food Market at 129 East Broadway. The store is just east of Pike St.
The fruit has been shipped and was sold in a bag holding 2.5 - 3 lbs. They were displayed prominently with the other produce outside the store. Although I hadn't eaten mangosteens before, their appearance was unmistakable. The price is $9 per lb. They don't split the contents of a bag. You buy an entire bag. A tag attached to the bag said something about quarantine.
They taste good to me. Their color was dark purple. They are certainly ripe.
There were another 4 bags being displayed. The manager of the produce stand didn't answer a question about having more.