Grease gun: A hand-operated tool utilized for lubricating equipment or devices with oil under high stress
https://milkyway.cs.rpi.edu/milkyway/show_user.php?userid=6379502
Grease gun: A hand-operated tool made use of for lubricating equipment or devices with grease under high stress