It's only 2499 brand new now, probably a bit less if you look hard. That would mean you could find one on eBay for probably under 1500- 10 rentals. I'd trust in eBay- just ask questions like how many hours on the heads, and get pix. I'd go with the same camera- save yourself extra work in post trying to get it to match.
Noah
My FCP Blog. Unlock the secrets of the DVX100, HVX200 and Apple Color. Now featuring the
Sony EX1 Guidebook
http://www.callboxlive.com