だいぶ前の話だけど、まんま亭って閉店していたんだな。