Tortilla de champiñones (tradicional o Thermomix)

Esta receta es del libro "Cocina fácil-725 recetas fáciles". Hay que reconocer que la presencia no es buena, jijiji, pero es que los champiñones le dan un color que hace a esta tortilla poco apetecible, pero nada más lejos de la realidad, os lo aseguro.
INGREDIENTES (para 4 personas):
Champiñones: 200 gramos.Huevos: 4.Salsa de tomate: dos cucharadas.Cebolla pequeña: una.Pimientos del piquillo: 3.Ajo: un diente.Limón: uno.Miga de pan: una rebanada.Pimienta negra.Mantequilla: 50 gramos.Aceite de oliva virgen extra.Sal.
Valores nutricionales (por ración):Calorías: 216.Hidratos de carbono: 5 gramos.Grasas: 17 gramos.Proteínas: 9 gramos.
Precio (por ración): 0,67€.
ELABORACIÓN (tradicional):
Limpiamos los champiñones, los rociamos con el zumo de medio limóny los cortamos en láminas.
Picamos fina la cebolla, desmenuzamos la miga de pan, pelamos el diente de ajo y lo picamos.
Rehogamos la cebolla en la sartén con la mantequilla, añadimos los champiñonesy cocinamos todo a fuego vivo hasta que los champiñones suelten todo el agua. Salpimentamos.
Batimos los huevos y añadimos la miga de pan desmenuzada, la salsa de tomate, el ajo picado y los champiñones con la cebolla.
Calentamos un poco de aceite en una sartén y cuajamos la tortilla a nuestro gusto.
ELABORACIÓN (Thermomix):
Limpiamos los champiñones, los rociamos con el zumo de medio limóny los cortamos en láminas.
Colocamos la cebolla en el vaso de la Thermomix cortada en trozos grandes y programamos 4 segundos, velocidad 4. Añadimos la mantequilla y programamos 3 minutos, temperatura Varoma, velocidad cuchara.
Ponemos la mariposa, añadimos los champiñones, salpimentamos y programamos 12 minutos, temperatura Varoma, giro a la izquierda y velocidad cuchara.
Comprobamos que los champiñones están tiernos. Si no es así, programamos 2 minutos más.
Retiramos los champiñones del vaso y reservamos.
Ponemos el diente de ajo en el vaso y programamos 4 segundos, velocidad 4. Añadimos los huevos, la salsa de tomate, la miga de pan desmenuzada y los champiñones. Programamos 10 segundos, velocidad 4.Calentamos un poco de aceite en una sartén y cuajamos la tortilla a nuestro gusto.