"this is as per IRS laws (they are supposed to be taxed on their tips too."
The law is the same in the UK. People in the service industries are assumed to earn tips & an amount is set by the Tax people upon which you are taxed.
That's not to say that i would tip a paid performer in a folk club, but I may buy them a drink or buy a CD.
Cheers
Les