Cambiar extension de un archivo

David
06 de Febrero del 2003
Me he descargado un archivo MP3 usando un gestor de descargas (Getright). Pero al llegar al 100% no se ha cambiado el tipo de archivo y permanece como si fuera una descarga sin terminar, con la extension .GET, Sabe alguien como puedo cambiar esa extensón para poner la .MP3 a ver si asi lo puedo oir como un archivo normal MP3. Alguna otra idea???. Gracias.