[jen20]

That doesn’t even cover a month in Austin! I’m not going to share the exact amount, but it’s a (low) double-digit multiple of that.