Debe estar arreglado para el próximo restart... es posible que tengan que ir a comprarlo una vez mas.