Sim, existem instalações lá. Core4Bag fornece serviços de armazenamento de bagagem no aeroporto. O preço depende do tamanho da bolsa e por quanto tempo você está armazenando-a lá.
Este é o link para a página de serviços de bagagem do aeroporto, que os relaciona, juntamente com o número de telefone deles: link
E aqui está o link para o site do Core4Bag, que, entre outras coisas, tem informações sobre preços e instruções sobre como encontrá-los no aeroporto: link
Do site deles:
Baggage storage is located at Arrivals Hall next to Gate 1. Operates 24 hours. All stored items are controlled by X- Ray and monitored by CCTV during all storage time.
Este é o link direto para a tabela de preços: link - se você estiver falando sobre uma média de bagagem de cabine , vai ser "pequeno" ou "médio" em sua terminologia, e custará, respectivamente, 3,50 ou 5,50 € para armazenar (por mala) por até 6 horas. Tenha em atenção que a tabela de preços indica que estes preços são válidos até 31/12/2015, pelo que podem ser alterados a partir de janeiro.