Looks like @pinball-wizard hasn't received any replies!