My dealer said every 4k was fine.
Common sense really. Manual says 7500, but recommends more frequently than that. If I drove it really hard all the time, I'd round down and change between 3 and 3.5k. Since I'm not that hard on it, I think the dealer is right and every 4k is the way to play it.