I have seen some pics in my magazines of some shops using VERY LONG belted grinders. These machines were taller than people! I dunno how long those belts are, but one 120ish grit and a buffer could sharpen plenty of knives!
I think that most manufacturers that sharpen by hand will use belt sanders and some sort of buffer. Buck uses large leather wheels, according to an Edge 2000 article I have.