i would have given the kid the deer. i did just that several years ago, helped the young man take the deer out.
In 60+ years of deer hunting i have the antlers and skull caps from several buck deer i have killed. They all score over 170 B&C points. i can't eat the darn things and they have lain around cluttering up the place for decades. Gave two sets to my son this fall.
Yep, hunters have killed other hunters over deer antlers.