2080 Lucky John Drive, Park City, UT 84060 (MLS# 12401733)