Hi, is there a difference between the Core Duo SL9400 andL9400? My X200s is supposed to have an SL9400, but /proc/cpuinfo prints that the processor is a L9400: can that be? thanks for any comment in advance, Volker