Hey, thanks for all the input! I think we're going to try both of the suggested approaches, mic'ing the amplifier, and using a "sim". Would any of the following DI boxes work for the second approach?
Behringer ULTRA-DI DI600P Passive Direct Box
Whirlwind Director Deluxe Direct Box (This looks...