The pool guy explains concrete, shotcrete, pumped cement and gunite.