The cap shown in the Action Pinball link is a multilayer ceramic cap. For the most part - this is what all the ceramic cap manufacturers have gone to and the old, round ceramic disc caps are being phased out by most manufacturers.
The cap shown in the GPE photo is a ceramic disc cap. This is an old style cap and often have to special order these to get them in this voltage rating and lead spacing. I'll probably switch over to the multilayer caps in the future.
Either one will work, Both are smaller than the old originals.
As YeOldPlayer mentioned -- the caps in the auction photo are different from what you got. The auction caps were clearly marked '2KV' or 2000 volts, the caps in your photo have no voltage rating on them. Maybe a clearer photo showing both sides? Based on size - they appear to be at least 500 volts but they should be marked.