Alan
this is the printer I built, you can get a kit for $799 or get one assembled at the factory for $250 more.
It is a Prusa MK3S from the Czech Republic
I've run for 460 Hours with no problems just normal maintenance.
The printer and a sample of wall etc. prints for the structure I'm building.
Ray