Fantastic news! That will have made your day! Is the name going to be made public? If so send details to DNJournal.com as always good to see UK domain names on their sales charts.
It was an unexpected direct enquiry that I do not wish to share any further to protect the buyer's identity.