I do not grind this stuff up, this is where all the bad taste and off flavors are. Get rid of it and you have gourmet meat and burger.
I always remove before grinding, also I grind the shanks seperate and use for chilie, I find that when I grind the shanks a little less colder than the rest, that the sinew just collects near the grinding plate.