That Warhol gun on the wall just took $6.2 million.