As described, antminers will be the better deal.
Most S3 do 475GH easily, and many 500Gh. (and every unit does at least 450GH)
The A1 miner should also be much louder (if that is of concern to you).
Dont forget to buy a suitable power supply for the ordered antminers though.
Just a small correction... most S3s do 440, some are lucky and will do 450, 475 or 500. Others are not so lucky and will get anywhere between 400 and 430. Unfortunately, the hash rate on the S3 is a bit more hit and miss than Bitmain's previous products. Hasn't stopped me from purchasing them, though... they're a nice little unit.