Bill Morrow at www.thinkpads.com sells those shells. They are a bit pricy but he is an excellent guy to deal with, and quite knowledgeable about thinkpads (but unfortunately he doesn't use linux).