Regarding my previous post, I have implemented a workaround of sorts - my program now writes both uppercase and lowercase card IDs to the file. This doesn't appear to cause any errors as it seems like the AW SBB just skips over any card IDs it doesn't recognize. However it does take several extra seconds to load.
All that to say, I am fine if you decide to make the change or not.