I know this is the Chip Board but some must Collect Slot tokens, don't ya?

A friend of mine's Mother has a roll of 25¢ slot tokens from Discovery Cruises out of Florida. Are they still in business, worth anything?

Just want to know so I can let them know.

Thanks

Dave K