Thinking about a last minute cruise in the Wonder next month. Has anyone cruised lately that can comment on the pin trading scene (or lack there of)? Our kids have recently gotten hooked on pin trading and I’m wondering how many of their traders we should be bringing along if we go.