According to David Boyd his last use (as of April, 2006) of his Pisot number finding program was to prove that in fact this sequence does not satisfy a linear recurrence. He remarks "This took a couple of years in background on various Sun workstations." - Gene Ward Smith, Apr 11 2006