This fixes #8097.  I added the digital IO information for 003912.