I followed the instructions from Pandigital's website on how to change the internal micro SD card. The WPDN seems to be working okay with only one exception. I put an 8GB card in and the Settings function is telling me it has 3.8GB available space. Other than loading Overdrive lending library on the WPDN (which was on the original micro SD) there is nothing on it beyond what was direct from Pandigital. So what happened to the other 4GB on the micro SD card?