Render time for TIF 16 bit from 4K 2:1 is about 1 second per frame.
Have you been able to render to anything other than Tiff or DPX? I get crashes whenever I try Quicktime.
I'm probably going to buy a Mac... but even then I've been testing on a friend's mac and that's had weird crashes and bugs.