The G.T. Model site indicates that the 5888 uses 2 #0716 motors.
When I measured one I only measured the width of the shaft end, which is 6+mm.
Being a bit of a "numbers"-type, I thought about the nomenclature for this little overworked motor, so I remeasured the width and found out that the cylinder is tapered
, and the wide "top" end [with the wires] is in fact 7mm.
So: 07mm width/ 16mm length > 0716