May have just been early enough in the day that the Pax hadn't worn off yet. I believe that gov't workers get double the dose that the rest of us get.