I note wiki still show Dec 11 as the final release date for 7.2, and Daniel Stone link to a page that showed problems holding up the release (NOTE did not find a link from the main wiki), show final pass through since just before Christmas.... so where are we now ? Allen