Tipping for hair cut at school

I just found out about a hair cutting school and went and got a badly needed trim. The girl was very nice, did everything I asked and my trim turned out great. It's only $9, I had no idea if I was supposed to tip or not, but I did, $3. What would you have done?