Looks like @pinballwizard hasn't received any replies!