I would have used the buck tag. The unfortunate truth is that plenty of guys will break the horns of a small busk so they can save their only buck tag for a bigger one. If your friend was willing to fight it out, I doubt they could convict him of anything regardless of how he tagged it.