Out of those choices, DE Jurassic Park or Road Show. But, you’d save money or get more for your money buying from an individual, preferably someone selling here on Pinside. Sometimes there’s value in buying a used pin from a dealer, such as a warranty or free support for some period of time. If there isn’t one, I definitely would think twice about it.
We all start about the same place when first getting into this hobby, knowing little to nothing about upkeep and repair, but we all learn. Do your research. Ask for help and advice here. Pinside is a great community.