Update
Updating database... Please wait.
Thursday 17 May 2018 at 07:18
Great thanks, no wonder I didn’t remember, I hadn’t taken the mini playfield out. No wonder I couldn’t see it!
Source: http://pinside.com/pinball/forum/topic/wcs94-%e2%80%9crun-plastic%e2%80%9d-where-does-it-go#post-4402457