@jpetersen bought my ticket a few weeks before, iirc. I don’t know what system they’re using to fulfill.