Sorry to hear the news.
To be honest, if your dirt guy is saying he can fix things the way they are now, to get you back to 'normal full pool,' I'd be questioning his knowledge or abilities. This is just judging from what you've shared. IMO, that area will just wash out again.
Regarding what to do with trying to figure out what kind of fish populations you have left, I'd take the 'wait and see' approach for the rest of the spring and summer. If you feel that you need more fish, maybe do it in the Fall '23.
