Thank you for the tips! My problem has been solved.
I resaved the troubled STEP files in FreeCad as STEP files (the FAQ says WRL are not ideal) and now the renders look fine*: see below.
Wish there was a command line option for this in FreeCad.
* I changed one 3D model in the meantime