I need to know how much space it being taken by mp* files

Yet this extension is not in the list & I can not see obvious place to add
it (probably me being thick here)

Seb