Borders Lamb Shank, Mashed Potato*