A mi tambien me interesa es como conseguiste el fichero menu.ml, ya que me gustaria extraer el del K800.
Salu2