Only idiots use those push terminals anyhow. I wish they would stop putting them on outlets. They are dangerous. REAL electricians use the screws. I NEVER use the push terminals. Also, #12 wire is no harder to use than #14 on the screws, if you know how to bend a good hook with a plyers.