A coin drop game at a local Chinese buffet