With short trips I'd be a 5K oil changer.
It really depends on your driving. I used to short trip a TON, because my work was 4 miles away, and I would drive to other buildings during work for meetings that were 3 and 4 miles away. The car never reached operating temp during the winter.
If you do a lot of highway driving and get the oil up to temp you can go 10k easy.