Hi. I am planning playback of 4k video content and have a superfast laptop with 64 gig ram, ssd, I7 and Nvidia 1850. What is the best codec/format I can use. Everything is shot on red 8k and high res stills. I edit on Apple so is prores 4k doable in the software? Thanks in advance!