Anyone else keep an eye open for old tools? I picked up an OLD circular saw for $20

my grandfather has this very saw, that grease needs to stay there. It's a dio electrode grease for the brushes.