Wouldn’t put it past either of them, but who knows.
Did notice yeb made the extended list at $2,700 (disclosed)