Text this: On the minimum order of 4-lazy cops-win graphs