I acquired an old Woods mower which has a right angle gearbox which drives all the blades on the deck. My question is does that box run dry or should there be gear oil inside it. Cant seem to find anything on the web on this.

thanks