At this point, if they don't have much attention from a resource teacher, enrichment wouldn't help much.

I would probably try my luck on grade skipping, even if they have some social struggles and some underachievement (though it depends on the severity)

Perhaps they could allow them to do more individual research projects, more extracurriculars, competitions and whatnot.