Not a typo. I drove his ILX in August of this year. It had 173k at that time.

That’s my personal car. What a great photo I took!