out of curiosity, i looked a little more into these infocus projectors. seems infocus released 2 versions of your machine... the IN112 and the IN112ST (ST being "short throw" version with the aforementioned lens)
i noticed at the time there was a shift in their offerings... (probably from complaints in their corporate sector about having to have 10 some odd feet of space from the projection surface) and a huge pile of their projectors became available in short throw versions. IN112, IN114, IN124, IN126 all released in "ST" versions IN112ST, IN114ST, IN124ST, IN126ST versions...so on.
so by the looks of things, you did get the same projector as the OP post...just the "regular" version of the lens assembly. luckily you have been able to source a replacement "ST" assembly.