I downloaded their Batman.7z; seems to import o.k. (BatmanArmoured.obj), but may need tweaking of shaders.  they got a royal buttload of figures, too.

oops! dbl-chkd: Models extracted from VG "Batman: Arkham Asylum".  this may cast doubt on provenance of other models.