5830's have a TDP ~150W, if you want to give yourself head room say 200W / card.

That's 1200W for the cards max, plus whatever power for your base system.  I think 1500W should do fine, but I don't know much about the particular PSU.  In reality I'd expect that system to come out ~950-1000W.