What platform/procedure would you recommend for short sighted -4 lens with around -1.5 astigmatism?
Pretty routine, this is really where laser vision correction works best. So you probably can't go wrong with anything. The latest lasers from Wavelight, Schwind and Zeiss platforms are currently the fastest (about 1 second per diopter) and offer all treatment types (wavefront-guided, topography-guided, wavefront-optimised through LASIK or PRK).
Just pick an experienced and highly rated surgeon.