Is that the low-end configuration?  If it is, it has the 68LC040 (no FPU), as  
opposed to all the other configurations with a 68RC040 (has an FPU).  Be sure  
you know what you are getting before you buy!!!  The 68RC040 is around  
$350-$400 right now, if you intend to upgrade it from a 68LC040.