Not production but close. The 016 was used in the orginal GrpB cars but then they went to a stronger box later on. Kind of expensive though. Could’ve made it a production box but there wasn’t a need.
Similar to the 016 but straight cut gears and an added oil pump and an extra gear in this one. They did make it in a 5spd verison too which was nearly an 016.