Help with diagnoses

Aren't low back pain and lumbosacral facet joint pain a symptom of lumbar spondylosis w/o myelopathy and postlaminectomy syndrome.

I coded the dxs as 722.83 (lumbar postlaminectomy syndrome) and 721.3 (lumbar spondylosis w/o myelopathy). Would this be correct?

They actually had the dxs listed as:

1. Lumbar spondylosis w/o myelopathy.

2. Low back pain.

3. Facet joint pain, lumbosacral.

4. Syndrome, postlaminectomy, lumbar.

Help with diagnoses