I haven't seen any sure-fire way to get rid of moles. I had mole damage at my last house that cost me $75 to have the dips repaired. What I started to do was dig a 2' trench around the pool and install 1/2" opening galvanized hardware cloth. This way they couldn't dig through. With 2" rock and edging blocks, I don't think they had achance of getting in. 2 things: 1) I started this after the deck was up. I had to around the deck too. Over 100'. 2)We moved before I finished.
I hope I don't have to do it again at the new house. The ground is hard as a rock.