I was also wondering if you knew the answer to this question:
If I'm going to RNG a shiny Tornadus, do I start inside the house of the old Lady, save, do my seed, walk outside, see the Tornadus and look at my Pokedex to see if it was a shiny Tornadus, and if it is I go catch it?