The 70-200 would have faster AF by far. Can you also rent a TC14E (1.4x) or TC17E (1.7x) teleconverter to extend the reach? (There's also a TC20, butby that point you might be trading focus speed for image quality against the 80-400.)
Have you read
this thread?
-M.M.