I don't know about that auction,, but Colt hasn't made the "Junior" in MANY years. My mom had a Junior in .22 Short before she passed. My sister now has it. But,, it's not mint or anything. Mom carried her's.
So, maybe there are a couple of potential buyers who really want one.