yes the El corte Inglés is a good source for many brands, I forgot to mentioned it. I am a card carrying customer lol!!!
laduque I am not that technical, but dont know the portable thingy, however, someone will ::) or there in those stores anyone can help you while in Madrid.
cheers