Number of home sales, and average price, soar in Ocala/Mario