Professional Camcorders?

Anyone know where to buy professional camcorders from? I heard the panasonic
AG-DVX100 was a good one, but no-one seems to sell them yet.
http://www.panasonic-broadcast.com/_web/index.cfm?uuid=94712F703C814CA5A5392B579C949AAA
The only site I found selling it was for around £3800. Can anyone suggest any alternatives to this camcorder?

 

There is a short thread here where someone is seeking advice in comparison to a Sony camera. A dvinfo link in the thread might lead you to other possibilities. Might be worth a look.

http://www.dvdoctor.net/cgi-bin/ubb/Forum8/HTML/002160.html