Sounds spot on. I did a tour of a tea factory once and they said 3 mins was the optimum time and no need to stir. Milk in first or last seems to be a social class thing. Tea does seem to taste better out of a china cup than a mug though (not that I drink it like that much).