john works as a waiter at his family's restaurant he makes $4.25 an hour plus tips. If he worked 35 hours and received $101.25 in tips, how much was his paycheck?