In case anyone is interested, I found the part number for the seal kit (almost the same as the # for the actual cylinder): 13-543.  Found it available directly at RDO Equip Co (was pointed to them from Wainroy Mfg, who makes the kit but doesn't sell directly to consumers).  $50