I think I did get 12 or 13 coins, I replayed to check and I counted 12 of them but I don’t remember how or if I got the 13th one. The vending machine was like “3 more!” “2 more!” “1 more!” and then the ending trigerred. So I did get it by getting (probably) all the quarters
the number on the vending machine tells you how many coins you have but its not super well explained
if it says $3.25 you have 13 coins (each coin is $.25)