The curious story of Magic Girl, the would-be greatest pinball machine of all time

At $16,000 it was the world's most expensive pinball machine. It was also the most fraught.