Should be clarified for future bidders though. The rules on page 1 state that if an auction ends at 9 am that the highest bid within the 9 am minute is the winner and the bidding actually ends when the clock hits 9:01. Is this how it's still going or be done this year or is bidding going to end when the clock hits 9am and the rule needs to be changed?