I currently have five Dell Dimensions with WinXP preloaded on them. I want to switch to Debian Linux. Unfortunately when I bought these machines I did not get the XP CD's to recover. I would like to purchase them if possible in order to run them under VirtualBox (virtual machine). Can I still get these from Dell? Thanks Scott Martin