Hi Clif,
I might be wrong because I haven't tested this yet but my understanding is that you can use both - you can connect a mic to the XLR input and something else to the AUX in.
You only use up the AUX in socket if you connect a mic using a standard jack plug. At lease that's the routing that the manual suggests.
Can anyone confirm if this is correct?
David.