No rush! If I decide to distribute Steam keys, I’ll add a $20 paid option. For those who’ve already paid $15, I guess you’d just need to pay an extra $5 as a tip.