Oh lord . Have they sold ?
“Have they sold ?”
Yes, that was in the ‘90s. I don’t know whatever became of it. But I would not be surprised if that was a common practice at some time.