I purchased this Gobi 4000 kit (AKA Sierra AirPrime MC7700) for Lenovo Thinkpad and used it for a couple of years. Includes all manuals, IMEI sticker to put on the outside of your laptop, and an unused AT&T SIM Card.
Will work with T-Mobile and maybe others as well.
Won’t work with other laptop brands.