This is mainly a curiosity. The vehicle will be traded in before 36K miles. So engine longlivity is not an issue. But a manual that may see some low rpms so a 20 wt is out.
I think the correct compound is Molybdenum Dithiocarbamate
Molybdenum dialkyl dithiocarbamate (MoDTC) is a high-performance lubricant friction modifier, whose lubrication relies on decomposing at the friction interface to form low-shear-strength MoS₂ tribofilm. https://papers.ssrn.com/sol3/papers.cfm?abstract_id=6435944