I would just try and get what you can at this point in time! As you know it is hard trying to find a nice A4000 unit, especially in the EU! I have four Mint A4000 desktops and one has it's original box which has seen better days. I doubt I would be able to, or even want to, try to find and buy a mint A4000 unit in the box today! It would easily fetch over a $1000 US for it surely! If I were you I would get the best A4000 you can and if the face is in bad shape simply repaint it or just try to get a new one (seen them on ebay for cheap really) Just make sure the battery has NOT leaked on the board or you will have no RTC (battery backed up time) cabability. Even with that the machine should work ok unless it has severe leakage. If that was the case you can expect Fast RAM problems or even worse-dead machine. Good luck.
