9300 MARSAC AVE #C801, Park City, UT — 5bd/6ba · $16,455,000