I had a hairline crack in new gunite floor (about 4 ft long). PB chiseled it out to see how deep it was. Fortunately it was only superficial. My question is, what would be the correct way to refill it before pebble tech. Do I ask PB to patch it with hydraulic cement? with elastipoxy? cold joint gunite? Here is a picture of the chisel crack.