Is Mullins' mascot the Auctioneer..i've heard this..but..don't believe it.