Yep, that would be consistent with what we did for `EncryptedPKModel`.