JJP would be my pick, big call considering they haven't released one pinball yet but based on Jack's Principles / Values and looking after the customer - JJP for me.
Also if you got more people, could mean more pins released in a year.
Maybe change the heading to Stern or JJP Factory as you do give the option in your post.....
