[Olefin]

FYI - looking at Red Star Lone Star the Mexicans would have bought both the 4X4 and the 6X6 version of the VAB, at least per canon.

It was armed either with an M2HB machine gun or rarely a 25mm autocannon

So looking at actual versions you would be looking at either:

VAB 4x4 VCI T.20 - 4x 4 with a one man turret with a 20mm cannon or the VAB 6x6 VCI Toucan which is the 6X6 version - again both with a 20mm canon instead of the 25mm

The heavy machine gun version of the VAB carries a M2HB 12.7mm machine gun in an open turret; the light version sports the AA52 7.5mm machine gun in a similar arrangement

Thus they would appear to have bought the heavy machine gun version

The VCR-TT is a 6X6 which does have the 12.7mm heavy machine gun

The French do have a 25mm turret called the Dragar turret - it wasnt used on the VAB but it was used on the AMX-10P - they were sold to Singapore. Also they said the Mexicans had replaced the weapons on many of the VAB's with the Mk19 grenade launcher.

So now the question would be - VAB (per canon) or perhaps more VCR-TT to match what they had bought in the 80's?