Thanks very much -- I saw that post, but figured the menu would be changed from July? Not sure if the changeover happens exactly at the start of the month. Further reading implies some of the main courses will have stayed on the August menu.