Yes, 5-10 minutes is actual time of moving the chisels back and forth on the stone. However, the amount of time it takes from the moment I decide to have a "sharpening party" to the time I've finished cleaning up is around an hour or more.
With an unfinished, uncooled garage shop in a NC summer, I do my sharpening indoors in the kitchen. So by the time I lay out newspaper on the counter, drag the granite stone, sand paper, sharpening jigs and chisels in the house, sharpen everything, drag it all back out to the garage, put things back in their homes and clean the kitchen - it's at least an hour - sometimes 2.
Now, if I only need to pull out the WS3000, sit it on the bench next to my chisel drawer, turn it on, sharpen chisels, turn it off, and put it away...that's some serious time savings!
J. C.