I’m no expert
But I’ve just done some work on mine. See Hotpoint 1501 , on the gearbox on mine there is a small
Square plastic plug. Prise this open and add classic car gearbox oil in. A squeeze bottle or big syringe might make it easier. I’ve discovered a lot of other bits need grease sometime silicone grease sometimes high melting point grease
Good luck Richard