It wouldn't hurt to ask around when she goes on shore... There's no telling what some of those shopkeepers might have tucked away in a box or in a drawer. My mother was there a few years ago and came back with a $25 Atlantic City Playboy chip.
JB