Irma's Southwest gets $9,400 tip to help wait staff