Late last month, Lenovo submitted information on its ThinkPad Mini 10 to the folks at the FCC, and here’s what they have decided to reveal to the public for consumption – we know that the ThinkPad Mini 10 will be equipped with a WiMAX module, where the antenna within is more or less similar to the one in the X100e from Lenovo. Bear in mind that having WiMAX within is going to cost you more dough, and to get a ballpark figure, it costs another $150 to stick a Gobi 2000 3G chip in a ThinkPad X100e.