LAUNCH X431: Launch X431 Pro Mini is the mini version of X431 Pro?