We're planning a trip for early June. Will there be live Alaskan king crab served at the big Chinese restaurants? Will there also be mangosteen from Southeast Asia? Your help much appreciated. I think their availability will be the determining factor for at least one in our group.