References:

Suncoast casino

References:
https://pad.stuve.uni-ulm.de/s/s0PLkVMSf