I would replace them. If they come loose, the load spreading plates under the bolts flap about and punch a hole in the gearbox casing. It’s happened several times, just not widely publicised. VW have also changed their policy(ies) on bolts due to reused engine mount bolts causing engines to hit the deck.
And that is why stretch bolts should be replaced. They can only achieve a ‘plastic’ state once. It’s actually the constant tension from the plastic state that holds two parts together in high vibration/stress areas, such as engines and suspension.....not the threads.
A lot of people reuse bolts with no problems, so it’s up to you. I always replace them for the cost of them and being diligent.