So that's something an internal PIC counter can do without much problem (maybe some overflow handling or some prescaler thingy) ... but always possible. No real need for extra external counter.