Any idea if there will be more kits available on the arduino store, so I can get them before christmas?