No, but were it a regular problem, I'd absolutely bring up that it's likely an annoyance and a productivity hit for most people and a good manager would try to

No, but were it a regular problem, I'd absolutely bring up that it's likely an annoyance and a productivity hit for most people and a good manager would try to help fix the issue.