Leak is from the gray pipe that comes out of the pump, area is circled in red.

The gray pipe is threaded, I haven't repaired one of these before. Sorry for the dumb question, but I'm guessing PVC glue wasn't used on those threads but a sealant? And is this a case where I need to cut the pipe and replace it vs. squeezing some sealant around the area?
Thanks

The gray pipe is threaded, I haven't repaired one of these before. Sorry for the dumb question, but I'm guessing PVC glue wasn't used on those threads but a sealant? And is this a case where I need to cut the pipe and replace it vs. squeezing some sealant around the area?
Thanks