So I dont always mic my amp. Depends if we have a sound guy. (perhaps I should if there's room in the PA)
Saturday night, we had no sound guy and my amp was not mic'd.
Sunday night, my amp was mic'd and we had a sound guy.
Depends on the gig. Sometimes we use a house PA, sometimes we have our own PA, sometimes there's a sound guy, etc, etc.