Should I get a echo dot 3rd gen or a google home mini for christmas?

They're both on sale but idk which one to get. Will be used for music mostly. I think via /r/tech https://ift.tt/2QZtj7U