So if you were recording a mix, you could either keep the mic in or not correct? You can select mic going to the booth output so maybe record the booth out and not the mic, as an idea..
Separate mic channel recording for DDJ-1000 and other rekordbox controllers
From my experience, some people love MCs whereas others absolutely despising them with little people in-between.
That would therefore be great to have the possibility to either record mic and everything else to different channels or record two separate mixes (one with mic(s) and one without).