I will use whatever program will get the job done.
typically Modo or Xnormal though.
You don’t have to actually dump out the million polygon mesh to get the details with decimation master (in the zclassroom on www.pixologic.com).
You can take your 12million mesh and crunch it down to 1million so your other application can handle it. (Xnormal will handle it anyway…as it doesn’t need to actually display it…but you need to have the RAM for it to load into mem.)
I prefer xnormal as you can get very clean results with little effort. but it really all depends on what I need to achieve and what will make for the shortest path with the best result.