My kid (7 years old) bites his nails incessantly and even though the popular advice is to leave it alone and he will outgrow it, it is driving me batty. Anyone have any experience with those foul-tasting liquids that can be brushed on his fingers to dissuade him?