... Now that I've seen that "push to focus" works, however, I feel a bit better about things.
Keep in mind that when you "Push to AF", it also changes the aperture to 3.5 while focusing.
So if you manually set the aperture at 1.4, it will focus at 3.5 when you push the button, then change back to the manually selected aperture setting when you release the button. But now the focus can be off because the DOF becomes narrower at 1.4, compared to the D0F when it focused at 3.5.
It's also a bit annoying because it switches to auto-everything (auto-shutter, auto-WB, auto-ISO) while you "Push AF", then changes back to manual when you release the button.