Tervis available in ship's store?

[GatorGal1]

Do they sell the TERVIS handles on the ship? I'm wondering if I should order them before the cruise or just pick them up onboard. I have a couple but want my kids to have handles for theirs as well.
TIA!

I looked and didn't see any Tervis cup handles on the Fantasy this last June.