If they really do stretch it, then it means you have to leave them some area to stretch. Eg give them an inch to stretch into two inches. But if you don't know exactly how much to allow, then all your questions about sizing and sharpening are completely moot.
DON'T trust them with this important task. Do it yourself.