Thanks a bunch Roger! There are lots of other good bits in there but these were the first that jumped out at me. Honestly, even a UKicon price point would be useful. The only data point I have so far is a mention in a thread of one that sold for 450 Australianicon... eleven years ago. Sounds like it is one to hold onto for sure.