These were all extract kits that yielded around 5 gallons. We bottled all of these.
Brewdolph and Saison de Noel were tolerable enough to give out as gifts for Christmas that year!
I’m writing this in January 2019, and we still have a few bottles of “The Pump” downstairs. Turns out 5 gallons of pumpkin beer is about 4.75 too many gallons of pumpkin beer for autumn, but that one actually seems to be getting better with age (so far anyways).