Setting to disable workshop models while playing an arcade game

I like having workshop models running around the plaza normally, but I’m forced to temporarily disable workshop models when I actually want to play games in the arcade (particularly stack’em and planetary piano), as the stuttering during model loading can significantly impact gameplay. Since there’s an option to disable workshop playermodels in gameworlds, it would also make sense to have an option to disable them while an arcade game is in progress.