HP-85 belts: a day late and a dollar short?