how many times has pretty lights played red rocks