What is the average (mean) of all 5-digit numbers that can be formed by using each of the digits 1, 3, 5, 7, and 8 exactly once? If the average is x, find the value of 10x.

Let's think step by step and output the final answer within \boxed{}.
user