spice, I agree. That should put us close to their goal if that was a buyback. I'm just hoping they want to reach their goal before releasing a PR.