Pinball manufacturers: Please add easy HDMI output for streamers!