How about a third option?
Either keep it as a HIF or restore it back to a Gauntlet, but use a JAMMA set-up with a multi-JAMMA adapter (game specific adapters), so you can play both games. Since it's already converted, it's not really a sin to convert it once again or only partially restore it to Gauntlet.
Now, obviously I love Gauntlet and already voted for a full and complete Gauntlet (or Gauntlet II) restoration, but if you love both games, are limited on space, etc., then maybe this third option has some value to you.
Scott C.