Maybe a Sennheiser MKE400 or a Rode Video Mic, both are a bit over $100 though. He might be able to find cheaper stuff on eBay.
How is he going to connect the mics to the camera or is he going to do dual system (record video separate from audio)? Both of the mics I mentioned use 1/8" stereo mini jack.