Based on what I've read, it should be around 80,000.
That's being ahead of the recommendation and careful. With an engine that can tickle valves being careful is good.
I did mine at 127,000 but I think the belt was already done before. I bought mine used at 127,000.
OP this is a nice car I expect it will sell soon.:rockon::beer: