Yup
That's pretty much what they did....reprinted my original flight plan from within their own system, added their own dirty big ink stamp to it.
I'm pretty sure they did this three times, as I apparently need three copies to get back airside, though I couldn't swear to that
Didn't have any hassle getting back airside, once I found where to do
dp
ps. Use the Jeppesen charts rather than the Spanish ICAO charts. The Spanish ones are crap.