If you're interested I got a new in the box Jumbo Joe (2013 model) that I'll throw in too, but I may want a little more concession on the overall price. It's 18.5 inches, but is no WSM.
That lid lip rust shouldn't be a big issue, if it's not completely rusted through - since it's on the outer part. I personally would hit that area with some Rustoleum black caliper paint. I used it on an 18.5 I had once upon a time and it matches the factory finish very well. Could use flat black stove paint with good results as well.