I made a small run of Jurassic Park toppers, these are listed in my Pinside shop. https://pinside.com/pinball/market/shops/1015-rock-custom-pinball/00843-jurassic-park-topper
Toppers are made from the original and I added strength to the bottom and sides for longer life. Most of the toppers I have had in the past the bottoms were broke, cracked and junk. In my opinion this is better than the original.