I have a contact for someone who wants to sell a Weber Performer. The complete grill looks to be 5-10 years old. It’s more basic and does not have the gourmet cooking system grate or the igniter. There is supposed to be a Digital Timer, but that’s MIA. I already have the 22” gourmet cooking grate, but would want to buy the digital timer. Does anyone know how much for the older digital timer that pops in and out of the table and where you can get that timer? Weber.com did not seem to have it available under parts? Thanks GO