After having my Dell Mini 9 for 6 years or so (and indeed in the mean time when I had trouble with my desktop I haven't thought of that), and since I am currently having problems with my desktop again ...