Can I specify the level of final polishing?
There are occasions where you definitely want a highly polished, gleaming edge but there are times when a slightly coarser edge is preferable. It really depends on what needs to be cut and your individual preference. For most kitchen work and general use, a mirror polished edge will cut the easiest and last the longest. A coarse edge is more "grabby", and works very well on the tough skin of a tomato and fibrous materials but doesn't hold it's edge quite as long.
Think about what you use your knife for the most, and be sure to specify the final polishing you need from your knife sharpening service. If you're unsure whether to go polished or coarse, choose polished. It is ideal for 90% of the cutting you will do.