A very minor point - Ketchup is easily obtainable here, not so the spicy sauce HP and Daddies sold in the UK.
Maybe gravy mix, custard powder and/or curry powder may be worth taking?
(all dependent on your personal tastes of course!)