I think the consensus was Mitsu 3k, and it would seem that you were correct.

Who knew?