Thanks for the response. Sorry for the delay - holiday weekend and all that. I thought I'd seen references elsewhere on this forum indicating prices of $500 or so? I'm not sure what number this one is, I'll have to dig it out and see.
As for other items, I'm still working my way through the boxes, deciding what to keep and what needs a new home. Here are some others that I'll likely be posting for sale at some point soon, though again I need to determine values.