Fifties and sixties vintage Neumann tens, made in Belgium are also to be considered. They are a bit higher quality than the ones you are looking at, but sometimes sell for low prices.