57K?
I think we're all in agreement that somewhere around 51-52K max (CPO); or 50K max (no CPO) is somewhere in the right ballpark....but even then he's going to be out another 1K-2K on tires, not to mention the high miles.
I'm sure the dealer would love to make what amounts to ~17% on the sale.
Euro Delivery is a great option too.