Is it really a matter of skill? I've never really considered tipping by 15% anyway, but shift-right, halve, and add back to get 15% doesn't seem fundamentally more difficult than shift-right and double. Just more tedious. Anyway, nowadays everybody has a calculator on them at all times so this couldn't be the reason.