Yes the gear oil is fine. Lol I'm starting to worry that you fellers might not have an answer. Could the throw out bearing whine, sort of a high pick whine?
Probably just wear. Bearings, gears? If it stays in gear and shifts ok, then not worth taking it out and apart. IMO. As big hammer said , change oil and make sure it’s the correct thickness.