dmg82

I gave up on this for awhile but eventually found:

http://wordpress.org/extend/plugins/multiple-category-selection-widget/

Excellent!!!