Does anyone know if there's any significant difference between various manufacturers' batteries for the Lenovo ThinkPad X201? Specifically, what's the difference between the 42T4835 (from Sanyo) and ...