In addition, either such free harbors for real currency are co-labeled to the local casino involved