Are you sure you have official High Res Mars? It seems that you have the low res or some other HD file. ( mod maybe? ) because the size is really small.
My HD mars looks like this:
8,528,781 kb - 8.5+ gb size on disk
12,302,069 kb - 12+ gb size on disk
Go here and look under Mars ->...