and, since i have an 88 jetta transmission, would these be the right seals? http://germanautoparts.com/Volkswagen/Jetta/Transmission/179/4 foxinabox tracked down my tranny info for me: AON - 9/87-10/87 Golf & 9/87-5/88 Jetta - Part # 020-300-048-NX