They went for $500 -- which is much cheaper than I had anticipated two complete bikes would go for. However, the reserve wasn't met and they're now relisted.
I messaged the seller asking if he would separate them and list them individually. He offered to sell the lighted bike for $500. It's a little more than I wanted to spend, but I figured I'd pass the info along to you guys in case you're interested. That's a steal for a complete Gilson if you're in the area and won't have to pay arms and legs to ship it.