a ceiling fan in a restaurant