The asking price is a dash under $15.5 million, which is a whopping $6.7 million more than he paid in mid-2020. But Martin, ...