Educated guess. I'm fairly sure it's an EBC4. I've never worked with that system.
Instructions attached.
I've only worked with Snap-On scan tools, not OTC/SPX.
If the manual is calling-out the BRAKE light, they mean the BRAKE light, not the ABS light.
But I'm surprised that the ABS light...