As a 600D user I am really interested in the best way to upscale your footage too

My footage has a way lower resolutions than yours but so far I got really nice results using a simple AviSynth script.
(Here it is: [Spoiler]LoadPlugin(ScriptDir()+"..\Avisynth-plugins\nnedi3.dll")
# Get the Plugin here:
http://web.missouri.edu/~kes25c/nnedi3.zip# Edit the path if necessary
LoadVirtualDubPlugin(ScriptDir()+"..\VirtualDub\plugins\msu_sharpen.vdf", "MSUSmartSharpen", 0)
# Get the Plugin here:
http://www.compression.ru/video/smart_sharpen/src/smart_sharpen.zip# Edit the path if necessary
ImageSource("PATH TO YOU TIFF FILES\%d.tif", FIRST_FRAME'S_NAME, LAST_FRAME'S_NAME, FRAME_RATE, false, false, "RGB24")
# That works only if your TIFF files are named like this: 1, 2, 3, 4, [...], 678
nnedi3_rpow2(rfactor = 4)
ConvertToRGB32()
MSUSmartSharpen(3)
ConvertToRGB24()
Spline36Resize(1920, 768)
# If your aspect ratio isn't 2.5:1 you may want to change the second number

# If you want 4K, use 4096 X (4048 / YOUR_ASPECT_RATIO)
[/Spoiler] )
If I would be better in scripting, I guess I could do what Hendrik suggested with AviSynth.
But I suck at scripting. There are some AviSynth Pros out there. Maybe one of them could do it. I don't know.
If you don't know AviSynth: It is a really powerful editing software. But it has no front end. So instead of using an interface you have to write a script and run that script inside another editing software. The tool that was used to process the old HDR videos based on AviSynth.
If you find the best way to upscale RAW videos, please share it with us
