I agree with using the enzyme. However, I have a brewer friend that pitches 3711 near the end of fermentation to get a couple extra gravity points in some of his bigger beers. it seems to work for him, but I would opt for the enzyme.
If you go with AMG my advice is start with a fraction of the recommended dosage, from my limited experience about 10% of the suggested dosage is more than enough to get you down around zero. The last time I used it I wound up with a Brut Wee Heavy, O.G. 1.097, F.G. 1.002, not a bad beer though and way more residual body than you’d expect from the FG.
The enzyme I use is amyloglucosidase. I bought something else with a similar name and did not work. I put a tsp in at day two of fermenting and at day four, I was at 1.000.