Daryl,

That's a two part problem; getting the gun exported from Spain and then getting it imported into the US.

The first part (export from Spain) is being handled by the gunshop from which I purchased the gun. They wend their way through the Spanish bureaucracy to obtain a Spanish export permit, arrange secure storage until the permit is granted, and arrange air transport and secure transport of the gun to the airport when the permit has been granted.

The second part (importation into the US) is being handled for me by T. R. Imports in Texas. They handle obtaining the BATFE form 6 importation permit, receive the gun when it arrives at DFW airport, walk it though US Customs, and then send it to my local FFL for delivery to me.

Not a simple process, nor a cheap one, but workable.