Moved to General Tech Chat.
Brake/clutch hydraulic fluid isn't going to make a difference, gearbox oil MAY if a prev. owner used something thicker than specified.
A full synthetic manual trans fluid is std. for this (2 qt.) NOT a gear oil.
Dealer fluid is the safest recommendation, many others can work EXCEPT anything labeled as "Gear Oil".