Hi, I was wondering if anyone knew if there are any shuttle services out of Terminal 4 at Barajas? Or do you have to go to one of the other terminals, which sound like they are about 20 minutes away? Thanks.