Blimey! That's stirred my old memory banks! I remember being offered a Sherman up & running for 6.5k at about that time, or maybe a few years beforehand. I think a batch came out of Portugal, along with a load of WW2 German small arms, such as K98icon's & MG34's.