I'd venture a guess that fetching $16k might be a world record A/C sale!