Save some money and get the Siglent SDG2042X IMHO. Also consider the GW-Instek GPP-4323 instead of the Rigol DP832. For a little more, you get a 4ch supply that can also be used as an electronic load, which is extremely useful for projects.
If your just getting started, you can't forget to also budget for all the necessary test leads, interconnects, etc. you will inevitably need. The money you save on the AWG, will help with that.