We are now deciding what type of wall material to install in a recently completed indoor pool. The pool is an 8x15' endless pool with a cover that keeps almost all the humidity out. There is also a major dehumdification system installed. There is duro rock and tile 4' up. Above that the some of the walls may see repetitive splashing. We are thinking of using dense shield with a hot mud skim coat or possibly fiber rock. Any ideas? Will these solutions work?