Crappie are tough to manage for several reasons. First, they are inconsistent, unpredictable spawners. They may spawn three years in a row, skip two, spawn one, skip three. Then, when they do spawn, they spawn earlier than all the other warmwater fish. Their babies eat other babies. Crappie are a predator, limited by mouth size. So, add all this up and you have a fish which is hard to manage.
Now, with that part of the discussion out of the way, I suggest the following. It sounds like crappie congregating habitat is good, at least in the area you catch the fish. That's important to remember.
Identify the species, either black or white. Count the hard spines on the dorsal fin. Seven or more, it's a black crappie. Less than seven, it's a white.
Take a short seine and a good friend and see if there are any baby crappie. Seine shallow areas, look for baby fish and identify them. If you have baby crappie, don't worry about restocking.
If your pond is one of the fortunate 4% which crappie can't (or won't) reproduce, restock with advanced fingerlings...if crappie are your primary goal. If you find no small crappie, consider yourself blessed. I suspect you will find small ones.
Then, post here again and let us all know what you have. There is lots of interest about crappie here.


Teach a man to grow fish...
He can teach to catch fish...