Seeking My Father's Pinball Machines

My father used to design pinball machines and we had 9 of them growing up.  After my parents died in 2010 and 2011, my mom's boyfriend stole a couple and sold them off so I'm looking to buy them back (specifically Arabian Nights, Indiana Jones, and Diner).  We also lost my dad's first pinball machine he worked on (Police Force) in a flood so it'd be nice to find that one as well.