I found this Michael Jackson Auction book by Julien's of his full arcade room, amusement and entertainment belongings. They had a estate sale auction when he past away in 2009. The catalog is full of amazing collectables, arcades and yes pinball machines. Over 200 pages..... worth the look.
http://www.juliensauctions.com/auctions ... alog4.html
http://www.juliensauctions.com/auctions ... alog4.html