“I've heard that many people cannot get an external mic to work with the Google Pixel 3a phone camera. Has anyone here used this Rode VideoMicro mic successfully with the 3a camera for video? Any tricks, or simple plug-and-play?”