Assuming your plan includes converting to opensource controller and firmware, that's just a matter of setting the size in the relevant configuration file.
However, I would say you'd be much better off just building your own machine from scratch. You can get better optics, tube and PSU than you'll find in a K40.