I don't know specifics, but I work for a well-known Australian travel agency in the UK and we use Amadeus - there's been no mention that Amadeus is down for us in any way; the only updates we've received have been the news about BA's problems, and these have all come from BA's press release. We don't know any more than anybody else.