With $4000... wow. The possibilities are endless, depends on how much experience you have.
The HVX is an amazing camera, it captures amazing colors and stuff, but they'll be around $5000 new. The FX1 wouldn't be a bad choice for a lower price range, I think Level 1 shot with a couple of those last year.
Getting the FX1 etc will be no good unless you take some time learning about the camera over the summer. HV30 is pretty god if you're starting out in HD.