I've never heard of tipping repairmen either. As 16THDOCTOR pointed out, they receive a salary. The reason one tips waiters/waitresses is because they generally don't receive minimum wage -- their livlyhood depends on tips.