Our pool gets tiled tomorrow and my wife and I thought of puting 1 inch porcelain tile on the floor of the Baja Shelf. Pool Builder says it will cost another 2 grand in labor. Shelf size is 17 X 9. We want to do it ourselves. We have tile experiance. isn't it just like laying bathroom tile? Any feedback would be appreciated.