Tuning machines are cheap enough that it is worth replacing them if they need it; and it only takes a few minutes. However, you should save the old ones if the guitar is a collectable.

Bert.