Turntable dust cover: Open, closed, or removed while playing?