^ interesting for sure.
On any turbo Subaru, I'll stick to 4k, especially with autocross.
I can see if it was 50/50 city/highway like a normal commuter, you could get 7500 out of it. I'd rather not take the risk.
Later in an oil's life, it really starts coming down to the additives and how well it's holding up.