IANAL, but... I think since the restaurant accepted the non-tip portion of the check, the guys who got arrested may be OK as far as being charged with stealing or whatever. I know in other industries (insurance for one) if the service provider accepts any money, even the incorrect amount, it's legally as if they got the correct amount.