OK, so looking at my - still unadjusted - vs RH non-DH lineup, it does appear all 3 may have been on Rest, along with Hector Eusebio, Carlton Reitz, and Tony Crespo.
I wonder how the AI determined which of the guys on Rest *had* to play, since it left my top hitters on the bench in favor of a group of light-hitting defensive specialists, even at 1B and corner OF.