Bought quite a few k more today. Still seeing an easy 100% from here. 
Should be a no brained.

The only question is, will you buy now or get them 10% cheaper or a bit more expensive. 
In the longterm it shouldn't make a huge difference though. Even though every penny counts, I am hoping we are trading the Dollars towards 2025 and 2026 and not the Pennie's anymore. 
I am still of the opinion that when sales start and or the first big customer gets somehow connected to us, that we will see 10 USD again, as a minimum.