Carburetor question

From the specs provided, I agree the 800 would be best....