That's 7.5"! It started snow about 4:30am.