Both is definitely the best. As a software developer I see a potential SSOT violation but it’s not that bad. The paper menu is a representation. It’s a cache expiry problem which, as someone who’s worked in software and in restaurants, isn’t as hard as a tough bussing problem.