Federal law and most state law specifically allow the credit card fees that apply specifically to the tipped portion of the bill to be deducted. It has to be the actual percentage paid to the card processor. You can not just deduct some aribitrary fee as a "processing fee" for allowing the employees to take their tips from the credit card. That is federally illegal.