That is partly true, but my average in November is around 15” so definitely somewhat off the pace. There is a ton of variability in the data given it is an early month, however, so 9 inches is probably around the median. The locals here have said the biggest thing setting this November apart so far is the lack of any sort of persistent cold and that the snow that did fall barely even lasted a day, much less formed any sort of pack. Things look to turn around starting tomorrow, however.