#totp are they just playing all the songs they know?