I followed the instructions for installing the Raspbian OS onto a Sony SDHC 8GB card, using the Win32DiskImage tool and the 2012-12-16 Wheezy-Raspbian image file. After successful writing of the image, I checked the properties of the card and Windows reports that it is only 55.9MB in size, with 16.4...