No idea, they have one at the GWR branch so can't have been a safety thing, possibly a demand thing- maybe it was ordered a lot more at the other one and less so at SS so when it broke they chose not to replace it- creating similar but different menus at each branch is a good way to increase demand.