Today I went to a massage place called big bucket for a 90-minute neck/shoulder/foot massage. After the massage, the massage therapist asked me if I could give him some tips. The massage was about 300 HKD and I gave him 50. I think this massage therapist did an OK job. How much would you tip at the local massage places?