gavelman
/ˈɡævlmæn/Definitions
1. noun
A person who is a skilled user or manipulator of the gavel in a courtroom or other setting.
“The judge used his gavelman to keep order in the chaotic courtroom.”
2. noun
A person who is skilled in the use of a gavel, often used to describe a senior or experienced court official.
“The gavelman had been serving on the court for over 20 years.”