Red.tv sold for $38,537 at Sedo! Looks like there is a premium renewal against the name as well! Note: Not affiliated to sale.