2852 Lucky John Drive, Park City, UT 84060 (MLS# 12400514)