Sé que ha llovido desde que preguntásteis, pero no me había dado cuenta. Yo hace año y pico pregunté el tono a los obreros y no lo sabían, de hecho poco después le pintaron a un vecino mío la terraza de una de las hab pequeñas y el tono de gris es diferente, y mi techo del porche lo repintaron también con la mezcla que hicieron en el momento. Vamos, es gris tono "el que me ha dado la gana"...
Quizás en la oficina si llamas lo sabrán, porque a mi me dieron hace tiempo la referencia del gris de las paredes (el gris de dentro).
Este verano creo que voy a pintar todo el porche en blanco y a correr, más luminoso y más fácil...
Por cierto, si averiguas algo de las baldosas, yo también agradecería si nos lo dices.
Saludos