Me too, Prax, and thanks for the other info.
Many of Steve's coins were at the high end of high end, and he has conversed with many of us on here, over several years. We were the first to find out he was selling his collection when Pete posted the Copthorne collection thread, as well as already familiar with his stock via his collection website. So it was inevitable than many of his coins would end up with us. Although as Rob said a few weeks ago, maybe the market is thinner than we imagine - don't know.
Incidentally I tried to like the above quoted post of yours, but I kept getting the message "you are not allowed to give this user reputation points" or some such. Tried on a different post of yours and that worked. The only thing different about this one that I notice (on my PC at least, which is not necessarily the most reliable indicator, given the issues I experience trying to show pictures), is that the post is in a different font to normal.