Here's what wiki says regarding his instruments:
He is documented by photograph to have played the instruments of Spanish makers José Ramírez I, Enrique García, Francisco Simplicio, Domingo Esteso, Enrique Sanfeliu and Ricardo Sanchis Nacher, Brazilian maker Di Giorgio, and in print by Uruguayan maker Rodolfo Camacho.
Sounds like he loved guitars! Haha so I'm not sure what he did his recordings with. Marin isn't even mentioned here so who knows if he had one or not. On YT there are a number of videos of Marin guitars and overall they sound really good imo.
"One should always eat muffins quite calmly. It is the only way to eat them."