I own a 60D and I wouldn't go over 2000 ISO if I was filming something cinematic, but I believe the 6D is better than the 60D. So I think you can go higher.
But hey, I hope you figure it out. Just do a couple of test shots really quick and watch it to see what a good ISO-number could be with that camera.