Hi, Need to flush and replace the pentosin in my 1989 audi 100. Which pentosin do I need? The synthetic 11 stuff or old 7.1? Car manufacture date is 8/88. Thanks, Jeff Wolf