Ok... So why is it that when JR plays a DT song solo, it's labeled as a cover? I was browsing JR on setlist.fm... and during the Explorations show, 6doit is labeled as a cover... He help write it, so why does it have to be called a "cover"? Or if Petrucci were to play part of, lets say... Erotomania... Or even The Silent Man or Wither... Would those have to be labeled as covers as well?