I figured this stuff must be good for the 80 series. It meets the new Dexron VI spec and it's synthetic. The 80 calls for a Dexron III. Dex VI supercedes the old Dex III and is supposed to be "tougher" .
http://www.redlineoil.com/products_gearlubricants.asp?productID=115&subCategoryID=18&categoryID=8
The problem is, who sells it?
http://www.redlineoil.com/products_gearlubricants.asp?productID=115&subCategoryID=18&categoryID=8
The problem is, who sells it?