Other brands worth looking at include Fobco and Meddings. I have Fobco Star (probably 50 years old) for which I paid £150 about 5 years ago - they seem to be going for 250-300 now though, so a bit above your budget, but if you can stretch to it worth the money IMO. Mine runs whisper quiet, dead...