Use Grok to translate in batches. When you have the corresponding transfile, you’ll start feeding Grok manageable batches of 50 lines (even though Grok can process quite a lot of text, like any AI it has a character limit). Why do I recommend Grok? Because it has no +18 filter, and the quality is very good. Plus, you can give it whatever instructions you want. Depending on the amount of text in the translation file, it may take you anywhere from an hour to several days, depending on how fast you are at copying and pasting.