To add on to what people here have said, 77W drivetrain is very GOOD but not very VIABLE unless if you use a PTO like Robokauz. 66W drivetrain is plenty for most good teams. Or you could be like one of my sister teams and choose 22W drivetrain because "weight savings are crucial"
Also, 400RPM on 4 inch wheels is quite fast. Unless if you are a 8 year veteran who has 6 championship titles under theirs belt, you are going to have trouble with 400RPM on 4 inch. (83 in/sec) Check out this link too. Catalogue of Drive Gearings
Also, drivetrain wattage is not the only way to get the advantage in a push fight. If that is your main priority, then you should consider wedges or tilted skirts. Also, more wheels = better traction so maybe look into a way to have 3 or 4 wheels on each side.
All in all, tell your teammate that unless if he wants to be like McQueen, he should slow it down or pick smaller wheels. Also tell him that he should look into skirts. And that 66W is plenty.