Any profits out-of gambling enterprise credit include the number of new casino credits, too