They came, dug up a hole, and capped a pipe. I talked to the technician for a couple of minutes before he did the job and he was done after about an hour. I had no problems. They did a good job, and they were actually earlier than they said they would be.
more