Yes, it was under Harbour Lights. You can see it searching for item #6274139792. It was listed simply as a Eddystone, I don't think the fellow knew exactly what he had.
Kind of reminds me when I found my double-digit Coqille River a few years ago. The pieces were displayed in the store by their location, and naturally it was labelled "Bandon" so that people calling dealers looking for rare pieces were always asking (hopefully, plaintively) for Coquille River with no luck!
I guess I was very, very fortunate...I wouldn't have paid $4000 for it!