Originally Posted by
malagajohn
Are you sure that your flight leaves from T4s?}
Normally all Air Nostrum flights leave from T4 from the K gates numbered in the high eighties.
Many of the European flights operated by regional jets use the M gates. (especially those routes with lots of connecting traffic to/from long haul)
Since you don't pass through passport control into the main area of T4S, you can't use Velazquez.