Models for parts of a pinball machine can be found in the game's files. They use the default texture, and are too detailed and big just for a prop. It's likely that these models were used for a scrapped level taking place in a pinball machine.