Noiz2
Sound Ninja
$100 extra is nothing for the extra features of the F4
And for HDMI you'd have to be tied down to the camera, awful, I'd rather not do that!
But... Your falling into the trap of thinking his needs are the same as yours. For me I agree with you but obviously for him HDMI is a deal breaker.
Also in theory you would not have to be "tied down" to the camera. You could do the HDMI with a wireless hop. And of course if you are shooting on sets or a sound stage connecting to the camera is not a big issue generally. Even in the field most of the run and gun stuff I have done they want a feed to the camera.