Restaurant Regulars Stun Staff by Tipping $9,400 to Help With Coronavirus