It's been years so I can't say for sure which was which, but I do think it was for the OVA, yeah. Maybe? Supposedly it was licensced by VIZ and, if it was. then there's a good chance that we did get it over here.
Back then my library was where I got all of my manga, which I used to read a lot, so I wouldn't be surprised regardless. Didn't have the biggest selection but Tokyopop, Viz, and Shounen Jump were in pretty good supply.