What would you do? Social issues

[PacificMouse]

dc2 (10yo) has some big social issue and in general doesn't like mixing with people he doesn't know.
Most of the activities he enjoys are either done on his own or with his db.
He is also much better in himself he does some sport (not likely to go into meltdown and generally more relaxed).

Now the issue is that he has slowly but surely been dropping down the sport stuff he does unless with his db (on their own). He asked to one particular activity, we took him but he has now decided he doesn't want to (Group teaching...).

I'm having hesitation between push him to that activity that I know he enjoys and forcing him to be in contact with people. Or letting him do whatever he likes knowing he will be more stressed and anxious in general.

What would you do?

The thing is he loves that activity. He has done it with DH for several months but maybe its the way it's done (small group but everything is fluid and children play against each other, changing all the time) that is an issue.

That activity should also be OK for him social wise. IT's similar to another one he is doing and enjoying vey much. The problem is more that he loathes starting anything new so it's pushing all his buttons iyswim.

dc2 doen't have an official diagnosis but maybe I should be going private and get it before he starts secondary next year.