Aymara, cuando grabes el fichero, tienes que cambiarle la extensión.
Verás que en la ventana en la que le das a grabar hay debajo de todo un menu desplegable que pone "*.txt".
Tienes que desplegarlo y elegir "*.*".
Al mismo tiempo, cuando le indiques el nombre con el que grabes pon el nombre completo con la nueva extensión, ej:
"666 Tabla.tbl"
Espero que sirva.
JoseB