Yes, that's what we always called them, typically called hand drills. A great tool for woodworkers. Very precise drilling and very efficient. However they do take some patience and knowledge to master.
Great auction. Going to keep watching and hope for the best.