They should just look at how many times the pirates listened to each song, and base the fine on the prevailing streaming rate to artists. Then the damages will calculate to like $5. Or if you really want to make them hurt look at how long they had the files and charge them the streaming subscription rate for like 3 years, then they may owe hundreds of dollars.
When corporations steal from their employees by wage theft, they are penalized “double damages” or twice what they stole. Seems that would be reasonable to apply to this.