Did we or anyone else ever work out exactly what this was? (There are two on eBay at the moment, both at the very reasonable price of $399.99US plus postage.)