I need to replace the compressor belt on my 2002 Suzuki Jimny. The manual I downloaded states I will need to use a hexagonal Allen wrench on the tension adjustment pulley but does not state what size. I live in Panama and am 2 hours from the nearest parts store or mechanic so it would help to know the size before I make the trip. I called the dealer (5 hours away) and the best they could tell me was 12 or 14 mm. A definitive answer would be appreciated.