This used to be one of my old names - and a name I really thought would do well .... eventually.
Back in the day I sold it here for $38 in one of my old 'Jimbo Auctions' to MrRhee (remember him?) when I had something like 2000 tv related names and needed to trim down.
Don't know the seller but well done. Also, best wished to the buyer.