Hi all, I have a friend that just got a really cool position for our school's media/broadcasting department and she gets quite a bit of money to spend on new equipment? (Is $10k a lot?) What professional HD camera or what not should she look into and what accessories? Any specific resources that you can point me towards? Thanks!