Hey, don’t be so hard on him. He got that handy Diet Coke button installed, don’t he? That was taxpayer dollars hard at work.