What is the correct material to fill the gap around a main gas pipe running through an external wall? Is it ok to use concrete as my Plumber proposes to do? Should the same pipe running through the garage have been sleaved when they installed it? Thanks.