Transmission oil

My manual transmission rebuilder says not to use synthetic oil on the transmission; but I saw a thread suggesting Redline MT-80 which is a synthetic oil. It advertises to be used in manual transmissions.