I think he's asking just under $200. A bit pricey, but it looks to be in excellent condition. I'm generally willing to pay more for a local set since I don't need to try to ship it.
Progress report on the Halolight. I must be living right this week. I checked the tubes out and found a weak 5U4 rectifier and a weak horizontal output tube and happened to have what I needed in my stock of tubes, so I replaced them. Slowly brought the set up over the span of about an hour on my variac and got audio, raster, video and a working halolight
Needed to touch up the horizontal and vertical hold, and that was about it. The picture tube is a bit tired, so the picture isn't all that bright, but it is watchable. Put in a tape of the Ten Commandments and watched for about 15 minutes. Very cool, and a testament to how well built these sets were back in the day. This one sat for 32 years.