I'm playing The Redhorn Gate and have exceeded the number of progress tokens required to win (13) but haven't attained five victory points (also required to win). I have placed 20 progress tokens on the final quest card. As a result, I only have six progress tokens left in my "progress token bank". There is now a location active that will require seven progress tokens (and also is worth two victory points...) to explore. I haven't found anything in the rules stating whether tokens are finite. If they are, it may not be possible to get the seven progress tokens on this final location that is required to win the quest. (Unless a card appears that removes progress tokens from the quest card..) Or can I "proxy" the tokens? Thanks in advance!

Not sure there's an official ruling, but finite tokens would provide lots of silly situations, so assume they are infinite.

They are infinite. If they are finite there must be a point in the rules that state how many you can use of them (in case you lost some, or if you have multiple core set and shuffle the tokens).

Physical tokens are just a representation, you can use whatever you want to proxy them.

It would be more precise to state that the number of available tokens can be assumed to be an arbitrarily large finite number. An infinite number is not necessary.

- signed, pedantic former math major