Maybe a dedicated SD Card screen could be implemented, where you can see an accurate breakdown of the space on the SD Card, a pie chart or something with numbers of GPE's installed and space taken up by music, movies, as well as then having the option to format it etc...
Maybe eventually a...