Are boxers much lighter than weightlifters? According to this resource, weight lifters can be as heavy as 310 pounds, while the heavyweight boxing class starts at only 200 pounds. strengthlevel.com/strength-standards/deadlift
(less silly answer: many, possibly most adult toothpastes are mildly abrasive so they might take the sharp edges off scratches making them less disruptive of the reading process. i wouldn't be surprised to learn that there are better methods with more clever materials, but it might not be a completely stupid first attempt)
@Mephistopheles If you have a local video store left in your area, give them a call and see if they will let you pay them to put it through their dvd resurfacer.