Krypto makes a few different size/type disc locks, which one did the dealer have?