I’m relatively new to Colorado, and I was surprised to see that the Colorado lottery can be played via a phone app. Is there any political action in opposition to this that you could point me toward?