Did a measurement again this morning before snow blowing. Final amount was 7.5". There may have been some compaction, but I'll ignore that. The snow was not as fluffy as I thought, especially in the bottom third. But the asphalt driveway may have accounted for some melting in the lower portion even though it is still slightly below freezing now.