But ~3% is also what that tutorial found, and IME, is not the norm. Most other video cards that I've tried get much less than that. I'd love some kind of stats that show what the average performance difference is.
Additionally, video-card drivers are still buggy and fragile. And it's not just video cards, but wifi and sound as well.
I'd say that's plenty efficient enough.