yeah my new one was listed for a few hyundai's as well, shouldn't be hard to find somewhere who's got one or can get in that day.
I just got a 90amp one as the Aus delivered vr4's and the autos run them, but my early j-spec manual had a 75 amps stock. (I don't know what the post-face lift, j-specs run but it was irrelevant to me)
I measured the cable and referred to a few online charts and its big enough to suite 90amp over that distance to the battery.