Thanks a lot, this is very useful information. As far as I can see they have never actually used the domain in any way.