WTB: IBM X40 restore discs

[thinkuser01]

Hi All,

I've got an x40 that has a new hard disc, so needs setting up from scratch to factory state.

Does anyone have the original IBM X40 restore discs for sale?

My model type is 2371

I looked on Lenovos website it appears that this includes the following P/N's:

42J5662
replaces
24R8140,
24R5216,
24R4306,
01R9329

Any of the above would do.

Thanks for any help!