OK, Richard. I will accept your answer since it is the official one from IBM. I did not find the compatibility chart that you mention, so I didn't reach the same conclusion as you, but I'm still suspicious.
Yes, I can get connectivity via my smart phone or via the Jetpack or even via WiFi at Starbucks, but that's not what I want. I'm one of those old time PhD physicists who don't like to take no for an answer when they want something to work. You, on the other hand, can't afford to put your company in a position of speculating on something that isn't specifically supported.
Nevertheless, it is most likely that the reason the Gobi 4000 for Verizon is on the compatibility list for those other machines and not for mine is because the Gobi was introduced to the market about 2 years before my PC was. The market introduction dates are clear from the spec sheets. Now, if I were an engineering manager at IBM, and my team had already invented a WWAN modem that worked perfectly well for a given task, I would never allow them to reinvent it just because we came out with a newer PC. Instead I would insist that the PC design team make sure my existing modem fits into their new PC. I'd bet dollars to donuts that you can just plug this modem into the LENOVO and it will work. The question is, am I willing to bet $170 to try it? You can buy a lot of donuts for $170. So if I can't find someone with more expertise than I have in this particular discipline (cellular radio) who agrees with me, then I probably will not give Lenovo another $170 of my money, but I will always wonder if I could not have achieved telecommunications nirvana by just spending that $170.
That's why I'm being stubborn. I'm not questioning your expertise. But I hate being the victim of corporate maneuvering to ensure they don't get sued for saying something wrong or of being charged $500 when $170 would do the trick.
Have a good day, and don't get too frustrated by old hackers like me. "You done good." Go ahead and send me your bill. (Preferably < $170 :-) ).