i guess it also depends on his goals.
if its strictly compatibility with Vegas then DV
if preservation of quality is a consideration then Prores
I dont have a ton of experience using prores in Vegas but most(if not all) mov files I have tried to use in Vegas have worked