There is a nice looking IBM 129 keypunch on Ebay for what I think is a very reasonable "buy it now" price of US$1799:
https://www.ebay.com/itm/333898748391 Shipping to Australia would be horrendous otherwise I would have bought it. Best regards Tom Hunter
