Board Thread:Video Games/@comment-13359-20150720142325

In one LP of LEGO Jurassic World, the park worker operating the Gyrosphere ride is named Josh. In fact, he's named this in roughly all of the LPs of the game I've seen except for one where he is inexplicably named Marty. So I'm asking those of you with the game if you can double check what this guy is actually called, and which version you've got, so I can determine specifically what his "canon" name is (at the moment I'm pretty sure it's Josh since it sounds like this is what he's called on the phone in the movie, but I'm curious as to how many people have seen him identified as Marty). 