Mate, I grow with LED lights and as far as efficiency goes without doubt, in the long run they're great. But... in your situation and with the money you have to spend, get yourself a HPS setup every time. It's simple as fuck, nothing to dial in, and cheap.
If you "save" some money by growing some stuff, you can invest that later on down the line on some LED bits and bobs and you'll have a better budget to do so.
With a 600w HPS you can pull 20oz of bud in a decent grow. You won't get near that with a SF1000
Forget the TS1000 too and get two HPS if it's between those two options, then get yourself a good LED further down the line. And don't be put off by buying from Alibaba. There are some solid Chinese vendors out there nowadays with some sick lights doing big numbers on this forum and others. Your mars is only a China light anyway, as are all the rest. Everything comes from there, so ditch that misconception brother, it's way outdated.