$5800 is actually a great price for a quality RB, you won't find anything comparable to it for under $7000 right now. When you start saving Ace, don't forget about your instruction, consumables, and spares; that will push the total costs up significantly, at least doubling your investment.