Selling a bunch of coins [solved]

Hello guys! I have a nice bunch of coins to sell. I'll link an imgur album because I don't want this post to be cluttered with the pics. Also, ignore the first pic of the album, it's just that I used the same album for my reddit post selling these same coins!
https://imgur.com/a/wR2Sfur

(Everything that doesn't have the country identified is portuguese)

• Półtorak from Poland, 4 coins, 1623, 1624, 1625, 1626: 7$ each or 24$ for the full set;
  
• 2x 10 réis 1892: 6$ each;
  
• 2x 500 escudos 1995 commemorating Saint Anthony (silver): 8$ each
  
• 20 escudos 1954 (silver): 22$
  
• 50 centavos 1913 (silver): 15$
  
• 6x 50 centavos 1979 (uncirculated, straight from coin roll): 1.50$ each
  
• 2.50 escudos 1943: 8$
  
• 5 escudos 1933: 15$
  
• 10 escudos 1932: 25$
  
• 10 escudos 1955: 12$
  
• 7.50€ 2018 commemorating Rosa Mota: 16$
  
• 5€ 2018 commemorating the WWI armistice: 12$
  
• Slovenia 2007 bnc euro coin set: 28$
  
• Spain 2€ cc 2018: 5$
  
• Germany 2€ cc Berlin 2018 D: 5$
  
• France 2€ cc 2010: 5$
  

So, I hope any of these interests anyone! Have a good evening!

All sold!