tedster - 3:34 pm on Oct 8, 2012 (gmt 0)

are you supposed to get a webmaster notification for a manual penalty?

No - not "supposed to" in every case. But it is very common these days, especially when a site is considered to have a good history at Google.