Seems like the vibration starts as soon as the coasting begins, then gets so bad he feels it in the shifter, and the rest of the car at the end.
I would have the gear changed right away. In a stick car, with a 6.50 screw, we would crack pinion teeth after 45-50 runs. Then after 50, you could barely touch the shifter in the shutdown coast. We found a better gear oil helps a bunch, on gear life. A new gear should make it whisper quiet in the shutdown.
I know you guys get more gear life than that. But there is always a limit...
Mark Williams knows drivelines, and sells the better gear oil. Regular gear oil isn't good enough... get the torco for longer gear life.
www.markwilliams.com/Catalog/pg23.pdf
torco sells for 10.70 a quart now, what are you using currently?