That just aboot slayed me...I think the Irish Mexican version is considerably tightened up from the original...Our fiddle orchestra plays a little medley of "Irish Washerwoman" with "Mexican Hat Dance" inserted between the first and the repeat of the A part of Washerwoman (both parts of Hat Dance)--try it -- it works.
Willie-O'Gringo