Earlier quoted context omitted.
1000x less fun? That’s extremely subjective, and depends enormously on what you draw satisfaction from. Leading people can be a lot of fun if you genuinely care about the people you are leading and take joy from empowering and enabling them to grow and succeed.
Yes and no. You can move mountains with good teams, this is great and you will draw satisfaction from. But IDK if you had ever 100+ people in your reporting line for a longer time. Then you knew that it's everything BUT definitely not a lot of fun . It's super hard work and will push you and your mind dangerously to the limit.
Management is work. But so is coding. Some people prefer one. Some people prefer the other.