KCee could have just installed a cheap fan. Better safe than sorry?
The "regular" radon mitigation "system" is a PVC pipe running from the sump pump well in the basement, through the basement wall, up the side of the house and to the roof, with a simple electric exhaust fan somewhere in the pipe (outside, 5' above ground). Runs 24x7. Probably a few hundred bucks in parts.