Just holding up my thumb for a estimate I'd say a good cut with a draw file stroke will remove maybe one half thousandth (.0005) of material.
If the swamp is 1/8" deep that's only 250 strokes.
Of course, that's only one flat and there are at least 5 of them exposed so, 1,250 strokes and four or five new files later the person will be able to crack walnuts with his fingers and crush unopened cans of beer with his grip.
He will also be ready to admit that, "NEVER AGAIN will I swamp a barrel with a draw file!"