ThinkPad X100e

11.6 inch monitor, ADM MV40 single core
sell at HK$4888, is it value for money?
Any views, please.