I'd like to know from Touchpad owners what the available space is on the 16 and 32GB models after you factor in formatting and OS usage.