yeah i say stroker. do it your self and it would cost less and be much more engine. all you really need is a crank, cam, injectors and machining for the block(making sure its squared and getting the crank balanced). in your case you would also need to hone your cylinders and put in new rings.
itd be easier to go on craigslist or something along those lines and buy a 4.0. ive seen them for around $100