Hittade en manuellt växlad Jeep Cherokee Chief i bra skick! Årsmodell 1988 byggd i Venezuela(!)

Har 4L sexan på 177hk och en femväxlad manuell låda. Frågan är nu vilken låda jag har? Har förstått att det kan vara en AX15 (bra!) eller en Peugot 10/5 (mindre bra). Lådan fungerar bra, men det är lite lagerljud på högsta växeln.
Enligt källor på nätet bytte man låda (från 10/5 till AX15) 1988 eller 1989 (oklart, olika uppgifter). Hur är det om bilen är byggd i Venezuela? Hur ser man vilken låda det är?