That Reddit thread seems to give correct info.
Getting the freehub body off is the crappiest part for sure. Vice and very large allen key needed.
I have replaced plenty of those, the freehub bodies are not too durable and break often.
As well as this part (Reddit quote) “The bolt holding the freehub, is neither 14, 15 or 16mm, as others have speculated. It’s an imperial 5/8″ hex! It was one hell of a task to find one here in Europe. Also, the outer diameter of the tool, was too big to fit inside the hub shell. So I had to turn it down in a lathe, so it would fit. ”