¿Se aplica IVA a una empresa de Marruecos con entrega en España?

El caso es el siguiente.

Una empresa de hostelería de Tetuan (Marruecos) me realiza un pedido de una maquinaria, me envía sus datos fiscales y una dirección de entrega en Málaga, me dicen que ellos se hacen cargo del trasporte y de los tramites de aduana con Marruecos, me piden la factura con los datos de su empresa en Marruecos y sin IVA.

¿Es correcta la emisión de esa factura o lo pertinente sería hacer la factura con IVA y hacer una devolución de ese IVA con una factura rectificativa una vez me envíen los documentos que demuestren que fue para exportación?

Gracias.