Answer
Red Lights is not an Afrojack track because it is produced by Tiesto, a prominent Dutch DJ and record producer known for his trance music. In contrast, Afrojack is recognized for his signature sound in electronic dance music, particularly big room house and electro house. His notable works include "Take Over Control", "Ten Feet Tall", and "Turn Up the Speakers".