As they said.If you have an option to record line from your mixer to have full sound than it's good.If not, record video, also record audio separate. Later you can mix it together.It's pretty easy.
_________________________
MIKIMIKI

TYROS 5,BEHRINGER X32PRODUCER,YAMAHA DSR112,JBL PRX618s XLF,EV ZLX12p,SENNHEISER E945,....ETC