After reading the many informative responses in the other sharpening thread currently going on, I'm curious: What fineness of stone/film/grit do you sharpen to? I usually go to DMT extra-extra-fine (3 micron/8000 grit), unless it's a roughing plane like my scrub, in which case I might stop at extra-fine. I'm generally happy with the performance of my tools at the 3 micron level, so I'm curious whether people who go beyond that notice a difference in performance.