Kind of funny that George pretty much had tried to not give Gary any credit or Marcia either and they have pretty much been erased from "official GL Star Wars history" except for the mentions in the Rinzler books.
Or Gary appearing in that fluff documentary that was on the 2004 bonus disc.
Is he even in the archival commentary tracks on the blu ray? I don't own it so i cannot comment.