Cocinar la pasta como se indica en el paquete y, como se horneará más tarde, ¡no cocinar demasiado! También precalentar el horno a 200° C y untar el interior de una caserola con mantequilla.
En una sartén grande, calentar 2 cucharadas de aceite de oliva.
Agregar la cebolla y el ajo y cocinar a fuego moderadamente alto durante 1 minuto, revolviendo, hasta que chisporrotee. Agregar los champiñones, sazonar con sal y pimienta y cocinar, revolviendo ocasionalmente, hasta que se doren; 10 a 12 minutos.
Vertir en un tazón.
En la misma sartén, calentar la cucharada restante de aceite de oliva.
Agregar las espinacas, sazonar con sal y pimienta y cocinar a fuego moderado, revolviendo, hasta que se ablanden; aproximadamente 2 minutos.
Incorporar los champiñones y dejarlos enfriar un poco.
En un bol grande, batir los huevos con la leche.
Agregar los espaguetis, la mezcla de champiñones, 3 quesos, tomillo, sal y pimienta; mezclar bien.
Vertir en el molde preparado alisando la parte superior.
Hornear durante unos 35 minutos, hasta que burbujee y la parte superior esté dorada.