quick - should I tip the granite guys?