Lots of pro’s don’t always own. They Hire. at least to find one they are happy with then they might buy.
He should be after Final Cut Native stuff then to save Transcoding. Time is money and all that. I doubt you will get a broadcast standard camera for that budget that still works.
Sony A1 and its HD Hard Disc/Memory card pals
JVC GY-HM100U
The SLR’s can produce good footage but are hellish for handling, and ergonomics. We get corporate folk shooting conferences on these but it looks like a right faff.
Your local media access centre may have subsidised kit you can hire or hireacamera.co.uk are handy if you need something fancy.
If he’s under 30 there should be plenty of startup grants to allow purchase of something. His business plan may include a loan?