Or you could lower the grow rock level or slow down the drip or use a cover over the pot to stop the splash back.

Taking a few leaves is better then the other option of mold or worse so it's no big deal. You can trim the large fan leaves the last 7-10 day's or so to get extra light to the flowers. That is not enough time for problems to crop up and you are trimming it anyway.