20010729 unknown: Vasco train timing revised