Luxury real estate prices just hit an all-time record