Hi all, I am searching for a budget external mic connected to the smartphone to record the muffler sound and then synchronize it with the video. If you use this setup, what mic do you use? Thanks!