Shame to hear about the Javelin as well, since that was a real highlight of my visit there, and even in the late 70’s, there could not have been too many of the them around.