It's from my (deceased) father's set-up, and all I know about it is that "it was damn expensive" - that's a quote from my mother.
She has no need of the set-up, but any extra cash would come in handy. So, I'm trying to discover whether it's worth getting the cable out from under the carpet. There's probably c 10m in total.