With 25k I would get:
An FS700 with odyssey 7Q+Firmware upgrade
A Set of Zeiss CP.2 Cine Primes
Canon 24-70L IS
Canon 70-200L IS
Tokina 11-16
Rode NTG3 With Boom Mount+Blimp
2 wireless Lav Systems
A Mid range Tripod/head
A Couple arri lights
A Glidecam/steadicam rig
With extra Money if any (batts, sd cards, Kessler gear,Fstop bags)
That would give you a pretty kickass kit