Double that and probably more. Someone made a good buy.