Colorado gaming tax revenue and distributions