I believe it would be better to resize it yourself. I think it still has to process the original size and texture before it can scale it down..

EDIT: I would anyway.. whats the difference?
EDIT, My EDIT: Unless of coarse this texture will be bigger elsewhere.