It depends who you ask, and how you define "mirror". A lot of guys go to 800, buff and call it good.
If you prefer to actually get all the scratches out, rather than just make them shiny, do as much hand-sanding as you can before HT, at least to a clean 600. If you're using a vacuum furnace or...