We get downy woodpeckers all the time, the larger hairy woodpecker only occasionally.  I think this is the first time we’ve seen both at the same time.