The answer is (a) change from port 8000 to 80.

Should be a 2 minute job with no visible service impact.

[headends are not changing on port 80 ~ we are updating port 8000]