Thanks. As you may or may not know, Pulse Secure was part of Juniper. As such, I still know a lot of the folks in the SRX support area. Was hoping to close the loop on this and see what they say.
If the fix is available in later JUNOS releases, this would suggest that the issue was on the SRX all along.
Hopefully, Juniper does have a fix.