well, i know david kee doesn't recommend
synthetic for toploaders, as the tranny sometimes doesn't shift right, i.e. block shifts due to synchro issues. He recommends standard gear lube. I know the richmond is the really the doug nash 5 spd, which was at least in the past "old" technology, like the toploader.
call richmond. maybe they can guide you.