Title: Benny: a Christmas ballad