Made this last night using thermie and pressure cooker.
Did not have galangal so substituted ginger. Did not add the extra water either.
Next time I will cut the beef into larger chunks, as by the time the liquid was dry, the beef was a bit shredded, though it did not detract from the taste which was great.
Thanks MF, definitely will be making again.