The efficiency enchantment for the shovel does not seem to break blocks faster than an unenchanted shovel.The other enchanted tools seem to break blocks faster, but not quite as fast as I remember them.
Environment
Win 7 64bit
java 1.7.0_45
nvidia geforce
Dupe of MC-65533