Plumber repairing a flush toilet