I found this stand mixer at my grandmother’s house and it still works great. It has not been used in over 15 years though. Should I replace the gear oil or is this not required? Some oil leaks down through the attachment hole (not in the bowl luckily) and there is a cover at the top that I can pull off where the oil is stored (it is black oil). It does not smell burned when used, only a bit dusty.