Refund Request: How do I get my money back?

I’m honestly not sure which sub this belongs in, so I’ll ask the admin to please just move the thread instead of deleting it.
My son is 37 now, and he moved overseas for work over a decade ago. Before he left, he worked here in the States for a few years and managed to tuck away about $7.25 in his BlackRock account.
It’s safe to say he isn't coming back to live here anytime soon. Now, he’s wondering if there’s any actual way to withdraw those funds from his retirement account early, since he won't be needing them for any local pension down the road.
I’m asking anyone who actually understands the nuances of our tax laws and financial regulations to weigh in. I want to give my kid some solid guidance. It’s a significant amount of money, and it would be a shame to let it just sit there if he could put it to better use elsewhere. I’d be incredibly grateful for any insight or direction you can provide.

Jeffrey Lee10

I'm no expert, but my gut tells me he won't be touching a dime from that BlackRock fund until he actually hits retirement age—not before. Since he’s put in a few years working here, he'll be eligible for his US Social Security benefits too.