Could it be restless legs syndrome?
You might look that up and see if it fits..

If so try added magnesium , Epsom salt soaks, there are Epsom/mag lotions & rubs many find helpful for RLS and other muscle pains.

Our site search tool can bring up more posts about Epsom salt & magnesium.

[ The CT of the neck has some degree of cervical spinal stenosis at C45
and C56 characterized as mild stenosis at C56. This is the source of the
electric shock to the legs you described.]

I wonder about this statement.
Usually a report will state if something is abutting or impinging a nerve or the cord.
Mild doesn't seem to fit ,IF it could be causing some sort of shocks.. IMO
not a dr tho.. I would ask for more information as to what & why, or take images & report for another opinion..

You can visit our Spinal forum for more ideas on stenosis.