If Sting retires, would he have to change his name to Stung? - Colin Mochrie