Customer tips $950 for staff at a Castle Pines restaurant