Scott, you’re absolutely right. I looked under the wrong menu. After your post, I went back and checked again — and by damn, there it is. Duh. Thank you.
I’m using the latest version of Pro Tools, which isn’t my usual DAW; just helping a friend out with a mix. As far as 32-bit, I got that from the Toontrak forum — 2016, I shoulda paid attention:
Thank you, and thank you to Toontrak for the kickass products and the always pr0mpt customer service.