Sold, but not a terrible deal at 13k.