Is it better to "line out" from an amp (using it as a pre-amp) to a PA or to mike to amp through the PA, assuming one wants the benefits of the amp sound and to go through the PA.