Good for you! I bought one of these used about 12 years ago and it's still going strong. I've only had to replace a couple of parts a few times. Best grill I've ever owned.
I know I’m about 1 year too late and I hope your restoration went well and that your getting great use out of it. I bought one of these new in 2004 and I am getting ready to repair and update it. Anyways, I got the manual for this unit and if you still need or want a copy, I’d be happy to copy it and sent it to you if you like. Just let me know if interested. Also, it originally came with the 3 temperature control, if you hadn’t already the digital controller was a great improvement to the whole unit and I suggest that upgrade. Later.
Question for you. So my own restoration has taken me longer than anticipated... And due to that, damnit, I lost the bolts that holds the side boxes. And idea what size and length they are?