Slight correction: I had GOP leader Mitch McConnell in mind while commenting a tad acidly earlier today; Michael gets a lot more respect. Sorry and many thanks to the kind list member who alerted me. rs