Yeah its true, google killed .co.tv last week - it makes no difference to any other domains *.tv whatsoever, except I guess the slight bonus of no longer having .tv names and brands diluted or competing with them in serps.
I hope the owners made their hay while the sun was shining.