I run the mic into the Tyros and all the processing is done from there.
In fact yesterday I hooked up a small battery-powered 4-channel mixer and ran two mics into it for Dean and me and a nursing home show. Worked like a dream.
DonM