[@Polybius]Either way is fine, honestly. I assumed they didn't, and wrote it that way, but whatever!